1 | package org.greenstone.server;
|
---|
2 |
|
---|
3 | import java.awt.*;
|
---|
4 | import java.awt.event.*;
|
---|
5 | import java.io.File;
|
---|
6 | import java.util.ArrayList;
|
---|
7 | import java.util.HashMap;
|
---|
8 | import javax.swing.*;
|
---|
9 |
|
---|
10 | import org.w3c.dom.*;
|
---|
11 |
|
---|
12 | import org.greenstone.gsdl3.util.GSXML;
|
---|
13 | import org.greenstone.gsdl3.util.GlobalProperties;
|
---|
14 | import org.greenstone.gsdl3.util.XMLConverter;
|
---|
15 |
|
---|
16 | import org.greenstone.server.BaseServerSettings;
|
---|
17 |
|
---|
18 | public class Server3Settings extends BaseServerSettings
|
---|
19 |
|
---|
20 | {
|
---|
21 | public Server3Settings(BaseServer server)
|
---|
22 | {
|
---|
23 | super(server);
|
---|
24 | }
|
---|
25 |
|
---|
26 | protected JPanel createServletPanel()
|
---|
27 | {
|
---|
28 |
|
---|
29 | JLabel servlet_label = new JLabel(server.dictionary.get(BaseServer.Property.SERVER_SETTINGS+".URL"));
|
---|
30 |
|
---|
31 | servlet_combobox = new JComboBox();
|
---|
32 | servlet_combobox.setMaximumRowCount(5);
|
---|
33 | servlet_combobox.setBackground(bg_color);
|
---|
34 |
|
---|
35 | File web_xml = new File(GlobalProperties.getProperty(BaseServer.Property.GSDL_HOME) + File.separator + "WEB-INF" + File.separator + "web.xml");
|
---|
36 | XMLConverter converter = new XMLConverter();
|
---|
37 | Document web_config = converter.getDOM(web_xml);
|
---|
38 | if (web_config == null) {
|
---|
39 | logger.error("web.xml is null! "+web_xml.getAbsolutePath());
|
---|
40 | return null;
|
---|
41 | }
|
---|
42 |
|
---|
43 | NodeList servlet_mappings = web_config.getElementsByTagName("servlet-mapping");
|
---|
44 | // make a little map class
|
---|
45 | url_mappings = new HashMap();
|
---|
46 | for (int i = 0; i < servlet_mappings.getLength(); i++) {
|
---|
47 | Element map = (Element) servlet_mappings.item(i);
|
---|
48 | Element servlet_name_elem = (Element) GSXML.getChildByTagName(map, "servlet-name");
|
---|
49 | String name = GSXML.getNodeText(servlet_name_elem);
|
---|
50 | Element url_pattern_elem = (Element) GSXML.getChildByTagName(map, "url-pattern");
|
---|
51 | String pattern = GSXML.getNodeText(url_pattern_elem);
|
---|
52 | // Ignore the Axis servlets
|
---|
53 | if (!(name.equals("AxisServlet"))) {
|
---|
54 | servlet_combobox.addItem(name.trim());
|
---|
55 | url_mappings.put(name, pattern);
|
---|
56 | }
|
---|
57 |
|
---|
58 | if (name.equals(servletDefault)) {
|
---|
59 | servlet_combobox.setSelectedItem(name);
|
---|
60 | }
|
---|
61 | }
|
---|
62 |
|
---|
63 |
|
---|
64 | JPanel comb_panel = new JPanel();
|
---|
65 | comb_panel.setLayout(new FlowLayout(FlowLayout.LEFT));
|
---|
66 | comb_panel.add(servlet_label);
|
---|
67 | comb_panel.add(servlet_combobox);
|
---|
68 |
|
---|
69 | return comb_panel;
|
---|
70 | }
|
---|
71 |
|
---|
72 | }
|
---|