support aborting alert_handler subscriptions before closing web server, to avoid dead-locks