337338339340341342343344345346347
info.pause(pause_all); setServiceStateProp(servicename, ServiceState.PAUSED); Agent agent = Globals.getAgent(); if (agent != null) { agent.notifyServicePause(servicename); } } else { // handle error } }