1 |
|
---|
2 | package org.greenstone.server;
|
---|
3 |
|
---|
4 | import java.io.File;
|
---|
5 |
|
---|
6 | import org.greenstone.util.RunAnt;
|
---|
7 |
|
---|
8 | import org.greenstone.server.BaseServer;
|
---|
9 | import org.greenstone.server.BaseProperty;
|
---|
10 | import org.greenstone.util.GlobalProperties;
|
---|
11 |
|
---|
12 | public class Server3 extends BaseServer
|
---|
13 | {
|
---|
14 |
|
---|
15 | public Server3(String gsdl3_src_home, String lang)
|
---|
16 | {
|
---|
17 | super(gsdl3_src_home,lang, gsdl3_src_home+File.separatorChar+"build.properties", "logs");
|
---|
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 |
|
---|
41 | public String getBrowserURL() {
|
---|
42 | return GlobalProperties.getFullGSDL3WebAddress()+ config_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET);
|
---|
43 | }
|
---|
44 |
|
---|
45 | public void reload() {
|
---|
46 | GlobalProperties.reload(); // properties file may have changed, so reload it
|
---|
47 | }
|
---|
48 |
|
---|
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 | }
|
---|