source: greenstone3/trunk/src/java/org/greenstone/server/Server3Property.java@ 18690

package org.greenstone.server;

import org.greenstone.server.BaseProperty;

public class Server3Property extends BaseProperty 
{
    Server3Property()
    {
    // Initialising customised final variables 
    // GSDL_HOME, GSDL_VERSION, WEB_PORT
    super("gsdl3.home", "gsdl3.version", "tomcat.port");
    }

}