Paul Austin wrote: Hi,
> * All users share the same properties file unless you change it in > the batch script to point to a user specific directory then maybe we should change the batch scripts. Since most of the Windows people will have installed at least Windows 2000/XP (and not Windows 98 any more ;-)), there's a good chance that they have a home directory... I'm also for a change in the linux script to create the $HOME/.jump directory if it does not exist. Best regards, Andreas -- l a t / l o n GmbH Aennchenstrasse 19 53177 Bonn, Germany phone ++49 +228 18496-12 fax ++49 +228 1849629 http://www.lat-lon.de http://www.deegree.org ------------------------------------------------------- On June 17 is deegree day - Am 17. Juni ist deegree day http://deegree.org/deegreeday
signature.asc
Description: Digital signature
------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
