Don't attempt to restart servlets and filters once the deployment is shut down