Always use port 443.

diff --git a/clients/regapplet/regapplet/Worker.java b/clients/regapplet/regapplet/Worker.java
index 8e7504edb5a49e2cf91e5f88b0db9b9b44cf4b94..6db2e1ee4035ff291c664cb104c90430c4b358bd 100644 (file)
--- a/clients/regapplet/regapplet/Worker.java
+++ b/clients/regapplet/regapplet/Worker.java
@@ -75,9 +75,8 @@ public class Worker implements Runnable {
        applet.showMessage("Connecting to Server...");
         try {
          String host;
-         int port;
+         int port = 443; // Use https port for firewall traversal.
          if (applet.isStandalone) {
-           port = 9001;
            host = (System.getProperties()).getProperty("host", "");
            if (host == null || host.equals("")) {
              System.err.println("Cannot learn host name (application) using localhost");
@@ -86,7 +85,6 @@ public class Worker implements Runnable {
          } else {
            URL cb = applet.getCodeBase();
            String protocol = cb.getProtocol();
-           port = 443; // Use https port for firewall traversal.
            if (protocol.equals("file") || protocol.equals("FILE")) {
              System.err.println("Applet: FILE protocol in use, connecting to localhost");
              host = "localhost";