int sleepTime = ORBConstants.DEFAULT_SERVER_POLLING_TIME;
String pollingTime = System.getProperties().getProperty(
ORBConstants.SERVER_POLLING_TIME );
if ( pollingTime != null ) {
try {
sleepTime = Integer.parseInt( pollingTime );
} catch (Exception e ) {
// Too late to complain, Just use the default
// sleepTime
}
}
instance = new ProcessMonitorThread( serverTable,
sleepTime );
instance.setDaemon( true );
instance.start();