/** Stop all the PVs, disconnect from JMS */ public void stop() { if (nag_timer != null) { nag_timer.cancel(); nag_timer = null; } messenger.sendAnnunciation("Alarm server exiting"); stopPVs(); messenger.stop(); }
/** Release all resources */ public void close() { messenger.stop(); rdb.close(); }