Changeset 25717 for main/trunk/greenstone3/src/java/org/greenstone/server/Server3.java

Timestamp:

2012-05-30T15:34:25+12:00 (12 years ago)

Author:

sjm84

Message:

Added a BaseGreenstoneServlet servlet that the other servlets now inherit from so that we can be sure that GlobalProperties is properly initialised. There is also some reformatting and import cleaning

File:

• main/trunk/greenstone3/src/java/org/greenstone/server/Server3.java (modified) (1 diff)

main/trunk/greenstone3/src/java/org/greenstone/server/Server3.java

@@ -45 +45 @@
     public void reload()
     {
-        GlobalProperties.reload(); // properties file may have changed, so reload it
+        GlobalProperties.loadGlobalProperties(null); // properties file may have changed, so reload it
     }