}
return;
case STOP_SERVER:
- key = Instance.getConfig().getString(Config.SERVER_KEY);
- port = Instance.getConfig().getInteger(Config.SERVER_PORT);
+ // Can be given via "--remote XX XX XX"
+ if (key == null)
+ key = Instance.getConfig().getString(Config.SERVER_KEY);
+ if (port == null)
+ port = Instance.getConfig().getInteger(Config.SERVER_PORT);
+
if (port == null) {
- System.err.println("No port configured in the config file");
+ System.err.println("No port given nor configured in the config file");
exitCode = 15;
break;
}
try {
URL source = BasicReader.getUrl(urlString);
sourceName = source.toString();
- if (source.toString().startsWith("file://")) {
+ if (sourceName.startsWith("file://")) {
sourceName = sourceName.substring("file://".length());
}