/** 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();
}
