Lines Matching refs:getProperty
130 uri = new URI(props.getProperty("agent"));
151 "service:jmx:rmi://" + props.getProperty(JMX_HOST) + ":" +
152 props.getProperty(JMX_PORT) + "/jndi/rmi://" +
153 props.getProperty(JMX_HOST) + ":" +
154 props.getProperty(RMI_PORT) + "/opengrok");
197 String javaver = System.getProperty("java.version");
226 String urlString = props.getProperty(JMX_URL);
233 Boolean.parseBoolean(props.getProperty(RMI_START))) {
234 int rmiport = Integer.parseInt(props.getProperty(RMI_PORT));
257 .getProperty(Configuration.PROPERTY_KEY_PREFIX + "management.indexer.enabled"));
259 .getProperty(Configuration.PROPERTY_KEY_PREFIX + "management.indexer.sleeptime"));
291 .getProperty(Configuration.PROPERTY_KEY_PREFIX + "management.logging.path");
296 .getProperty(Configuration.PROPERTY_KEY_PREFIX + "management.logging.filelevel"));
303 .getProperty(Configuration.PROPERTY_KEY_PREFIX + "management.logging.consolelevel"));