Changeset 25386

Timestamp:

2012-04-16T18:47:18+12:00 (12 years ago)

Author:

ak19

Message:

Default servlet is no longer called dev but library.

File:

• main/trunk/greenstone3/build.properties.in (modified) (1 diff)

main/trunk/greenstone3/build.properties.in

@@ -29 +29 @@
 server.keep.port=false
 # default servlet to start with
-server.default.servlet=/dev
+server.default.servlet=/library
 
 ##Browser setup