[18558] | 1 |
|
---|
| 2 | package org.greenstone.server;
|
---|
| 3 |
|
---|
| 4 | import java.io.File;
|
---|
| 5 |
|
---|
[22085] | 6 | import org.greenstone.util.RunAnt;
|
---|
| 7 |
|
---|
[18558] | 8 | import org.greenstone.server.BaseServer;
|
---|
| 9 | import org.greenstone.server.BaseProperty;
|
---|
[22085] | 10 | import org.greenstone.util.GlobalProperties;
|
---|
[18558] | 11 |
|
---|
| 12 | public class Server3 extends BaseServer
|
---|
| 13 | {
|
---|
| 14 |
|
---|
| 15 | public Server3(String gsdl3_src_home, String lang)
|
---|
| 16 | {
|
---|
[18770] | 17 | super(gsdl3_src_home,lang, gsdl3_src_home+File.separatorChar+"build.properties", "logs");
|
---|
[18558] | 18 |
|
---|
| 19 | Property = new Server3Property();
|
---|
| 20 |
|
---|
| 21 | String frame_title = dictionary.get("ServerControl.Frame_Title");
|
---|
| 22 | server_control_ = new Server3Control(this,frame_title);
|
---|
| 23 |
|
---|
| 24 | /** Ant command tagets for managing Web server */
|
---|
| 25 | START_CMD = "start";
|
---|
| 26 | RESTART_CMD = "restart";
|
---|
| 27 | CONFIGURE_CMD = "configure";
|
---|
| 28 | STOP_CMD = "stop";
|
---|
| 29 |
|
---|
| 30 | autoStart();
|
---|
| 31 | }
|
---|
| 32 |
|
---|
| 33 | protected int runTarget(String cmd)
|
---|
| 34 | {
|
---|
| 35 | RunAnt runAnt = new RunAnt();
|
---|
| 36 | runAnt.setTargetCmd(cmd);
|
---|
| 37 | runAnt.run();
|
---|
| 38 | return runAnt.getTargetState();
|
---|
| 39 | }
|
---|
| 40 |
|
---|
[18670] | 41 | public String getBrowserURL() {
|
---|
[25387] | 42 | return GlobalProperties.getFullGSDL3WebAddress()+ config_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET);
|
---|
[18670] | 43 | }
|
---|
| 44 |
|
---|
| 45 | public void reload() {
|
---|
| 46 | GlobalProperties.reload(); // properties file may have changed, so reload it
|
---|
| 47 | }
|
---|
| 48 |
|
---|
[18558] | 49 | public static void main (String[] args)
|
---|
| 50 | {
|
---|
| 51 | if ((args.length < 1) || (args.length>2)) {
|
---|
| 52 | System.err.println("Usage: java org.greenstone.server.Server3 <gsdl3-src-home> [lang]");
|
---|
| 53 | System.exit(1);
|
---|
| 54 | }
|
---|
| 55 |
|
---|
| 56 | String gsdl3_src_home = args[0];
|
---|
| 57 | File gsdl3_src_dir = new File(gsdl3_src_home);
|
---|
| 58 | if (!gsdl3_src_dir.isDirectory()) {
|
---|
| 59 | System.err.println("src directory does not exist!");
|
---|
| 60 | System.exit(1);
|
---|
| 61 | }
|
---|
| 62 |
|
---|
| 63 | String lang = (args.length==2) ? args[1] : "en";
|
---|
| 64 | new Server3(gsdl3_src_home,lang);
|
---|
| 65 | }
|
---|
| 66 | }
|
---|