diff --git a/src/helma/main/Config.java b/src/helma/main/Config.java index 1c89ca93..731c2ff8 100644 --- a/src/helma/main/Config.java +++ b/src/helma/main/Config.java @@ -32,10 +32,6 @@ public class Config { File propFile = null; File homeDir = null; - public boolean hasPortSetting() { - return (websrvPort != null || ajp13Port != null || rmiPort != null || xmlrpcPort != null); - } - public boolean hasPropFile() { return (propFile != null); } diff --git a/src/helma/main/Server.java b/src/helma/main/Server.java index 2d1aa399..a9e0f232 100644 --- a/src/helma/main/Server.java +++ b/src/helma/main/Server.java @@ -125,11 +125,6 @@ public class Server implements IPathElement, Runnable { System.exit(1); } - if (!config.hasPortSetting()) { - printUsageError("no server ports set"); - System.exit(1); - } - checkRunning(config); // create new server instance