Changeset 18710 for greenstone3/trunk/src/java/org/greenstone/server/Server2Settings.java

Timestamp:

2009-03-18T19:03:27+13:00 (15 years ago)

Author:

ak19

Message:

Moved some things from BaseServerSettings to the specific subclasses as appropriate, and added definitions for overloadable methods.

File:

• greenstone3/trunk/src/java/org/greenstone/server/Server2Settings.java (modified) (3 diffs)

greenstone3/trunk/src/java/org/greenstone/server/Server2Settings.java

@@ -1 +1 @@
 package org.greenstone.server;
 
+import java.awt.BorderLayout;
+import java.awt.event.*;
 import javax.swing.*;
-import java.awt.BorderLayout;
+import javax.swing.event.*;
 
 import org.greenstone.server.BaseServerSettings;
 
-public class Server2Settings extends BaseServerSettings
+public class Server2Settings extends BaseServerSettings implements ChangeListener, ActionListener
 {
+    protected JComboBox prefix_combobox;
+
     public Server2Settings(BaseServer server) 
     {
@@ -15 +19 @@
     protected JPanel createServletPanel()
     {
+    portNumber_spinner.addChangeListener(this);
+
     JLabel prefix_label = new JLabel(server.dictionary.get(BaseServer.Property.SERVER_SETTINGS+".URL"));
 
-    JComboBox prefix_combobox = new JComboBox();
+    prefix_combobox = new JComboBox();
     prefix_combobox.setEditable(true);
     prefix_combobox.addItem(server.getBrowserURL());
+    prefix_combobox.addActionListener(this);
 
     JPanel comb_panel = new JPanel();
@@ -27 +34 @@
     return comb_panel;
     }
-    
+
+    public String onSave() 
+    {
+    return "";
+    }
+
+    public void stateChanged(ChangeEvent e) {
+    int portNumber = ((Integer)portNumber_spinner.getValue()).intValue();
+    String url = (String)prefix_combobox.getSelectedItem();
+
+    String pre = "";
+    if(url.indexOf("http://") != -1) {
+        pre = "http://";
+        url = url.substring(7);
+    }
+
+    String[] parts = url.split("/");
+    String prefix = parts[0];
+
+    int colon = prefix.indexOf(':');
+    if(colon != -1) {
+        prefix = prefix.substring(0, colon);
+    } 
+    
+    url = pre + prefix + ":" + portNumber;
+    for(int i = 1; i < parts.length; i++) {
+        url = url + "/" + parts[i];
+    }
+
+    prefix_combobox.setSelectedItem(url);   
+    }
+
+    public void actionPerformed(ActionEvent e) {
+        System.err.println("*** Port number changed in url box!");
+    String url = (String)prefix_combobox.getSelectedItem();
+    int portNumber = 80;
+
+    String oldUrl = url;
+    if(url.indexOf("http://") != -1) {
+        url = url.substring(7);
+    }
+    int colon = url.indexOf(':');
+    int slash = url.indexOf('/');
+    if(slash == -1) {
+        slash = url.length();
+    }
+    if(colon != -1) {
+        url = url.substring(colon+1, slash);
+        try { 
+        portNumber_spinner.setValue(Integer.decode(url));
+        } catch(NumberFormatException nfe) { // couldn't parse port number
+        // not an integer, leave portnumber at 80
+        String oldNum = Integer.toString((Integer)portNumber_spinner.getValue());
+        oldUrl = oldUrl.replace(oldNum, "80");
+        portNumber_spinner.setValue(80);
+        }
+    } else { // no port number
+        oldUrl = oldUrl.replace(url, url+":80");
+        portNumber_spinner.setValue(80);
+    }
+    }
+
 }