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