From 4f5a119d6aa22db31ad0c69e439237c29d058a1c Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Fri, 14 Aug 2009 09:41:14 +0000
Subject: [PATCH] There doesn't seem to be a reason to cast Connector to
 SocketConnector in openListeners()

---
 src/helma/main/JettyServer.java | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/helma/main/JettyServer.java b/src/helma/main/JettyServer.java
index 019a243b..8d20969d 100644
--- a/src/helma/main/JettyServer.java
+++ b/src/helma/main/JettyServer.java
@@ -127,10 +127,7 @@ public class JettyServer {
         // while start() will be called with the user we will actually run as
         Connector[] connectors = http.getConnectors();
         for (int i = 0; i < connectors.length; i++) {
-            if (connectors[i] instanceof SocketConnector) {
-                SocketConnector connector = (SocketConnector) connectors[i];
-                connector.open();
-            }
+            connectors[i].open();
         }
     }
 }