On 24.01.2012 22:18, Michaël Michaud wrote: > Hi, >>> that's just a warning. i intend to get to this but it for sure doesn't >>> break anything. what ist the workbench-properties.xml actually for we >>> deliver a skeleton xml file for this in bin/ . >>> >> ahh i recall, we or the user can add extensions and plugins here... is this >> parameter actually mandatory? who except developers uses this? > Oh, I confused this file with workbench-state.xml :-[ . > Workbench-properties is there from the beginning, but it seems that > default-plugins.xml does exactly what workbench-properties was intended > for. Not sure it's still useful, but there is no urgency to remove it. >
just tried, oj starts fine without having it by default added in start scripts. i'll drop a note in readme.txt and remove it from bat/sh, because currently it serves no purpose. who wants to can add it again. manually ;) ..ede ------------------------------------------------------------------------------ Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-d2d _______________________________________________ Jump-pilot-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
