Lines Matching defs:props
64 Properties props;
71 private static boolean loadProperties(File file, InputStream in, Properties props) {
78 props.load(stream);
98 Properties props = new Properties();
101 OGAgent.class.getResourceAsStream("oga.properties"), props);
105 success = loadProperties(file, null, props);
109 props.putAll(System.getProperties());
114 props.setProperty("agent", args[i].substring("--agent=".length()));
118 success = loadProperties(file, null, props);
130 uri = new URI(props.getProperty("agent"));
139 setIfNotSet(props, LOG_PATH, uri.getPath() + "/log");
141 setIfNotSet(props, CONFIG_FILE,
144 setIfNotSet(props, JMX_HOST, uri.getHost());
146 setIfNotSet(props, JMX_PORT, String.valueOf(uri.getPort()));
148 setIfNotSet(props, RMI_PORT, String.valueOf(uri.getPort() + 1));
150 setIfNotSet(props, JMX_URL,
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");
156 success = createLogger(props);
161 OGAgent oga = new OGAgent(props);
182 private OGAgent(Properties props) {
183 this.props = props;
189 private static void setIfNotSet(Properties props, String key, String val) {
190 if (!props.keySet().contains(key)) {
191 props.setProperty(key, val);
214 server.registerMBean(Management.getInstance(props), manager);
222 createIndexTimer(props);
226 String urlString = props.getProperty(JMX_URL);
233 Boolean.parseBoolean(props.getProperty(RMI_START))) {
234 int rmiport = Integer.parseInt(props.getProperty(RMI_PORT));
288 private static boolean createLogger(Properties props) {
290 String OGAlogpath = props
295 loglevel = Level.parse(props
302 consoleloglevel = Level.parse(props