Web server now shuts down properly