/** * Check port specification * @param args to be processed */ private static void checkCustomPortOption(String[] args) { if (args.length > 1) { try { Integer port = Integer.parseInt(args[1]); Loader.getSettings().getServerSettings().setServerHTTPPort(port); logger.trace(String.format("Custom port specified as %d, configuration file will be ignored", port)); } catch (Exception ignored){} } outputProgressBar(); }
/** * Check port specification * @param args to be processed */ private static void checkCustomPortOption(String[] args) { if (args.length > 1) { try { Integer port = Integer.parseInt(args[1]); Loader.getSettings().getServerSettings().setServerHTTPPort(port); logger.trace(String.format("Custom port specified as %d, configuration file will be ignored", port)); } catch (Exception ignored){} } outputProgressBar(); }
/** * Check port specification * @param args to be processed */ private static void checkCustomPortOption(String[] args) { if (args.length > 1) { try { Integer port = Integer.parseInt(args[1]); Loader.getSettings().getServerSettings().setServerHTTPPort(port); logger.trace(String.format("Custom port specified as %d, configuration file will be ignored", port)); } catch (Exception ignored){} } outputProgressBar(); }
/** * Check port specification * @param args to be processed */ private static void checkCustomPortOption(String[] args) { if (args.length > 1) { try { Integer port = Integer.parseInt(args[1]); Loader.getSettings().getServerSettings().setServerHTTPPort(port); logger.trace(String.format("Custom port specified as %d, configuration file will be ignored", port)); } catch (Exception ignored){} } outputProgressBar(); }
serverSettings.setServerHTTPPort(Integer.parseInt(properties.getProperty("ServerHTTPPort"))); } catch (Exception e) { serverSettings.setServerHTTPPort(-1);
serverSettings.setServerHTTPPort(Integer.parseInt(properties.getProperty("ServerHTTPPort"))); } catch (Exception e) { serverSettings.setServerHTTPPort(-1);
serverSettings.setServerHTTPPort(Integer.parseInt(properties.getProperty("ServerHTTPPort"))); } catch (Exception e) { serverSettings.setServerHTTPPort(-1);
serverSettings.setServerHTTPPort(Integer.parseInt(properties.getProperty("ServerHTTPPort"))); } catch (Exception e) { serverSettings.setServerHTTPPort(-1);