Changeset 8622 for trunk/gli/src/org/greenstone/gatherer/util/Utility.java

Timestamp:

2004-11-23T10:41:36+13:00 (19 years ago)

Author:

mdewsnip

Message:

Tidied up some more local library stuff.

File:

• trunk/gli/src/org/greenstone/gatherer/util/Utility.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/util/Utility.java

@@ -148 +148 @@
     /** Definition of an important directory name, in this case the location of image and other resources. */
     static public String RES_DIR = BASE_DIR + "resource" + File.separator;
-    static final public String SERVER_EXE = "server.exe";
     /** Definition of an important directory name, in this case the location of opening (or welcome) screen html. */
     static public String WELCOME_DIR = BASE_DIR + "welcome" + File.separator;