Graceful shutdown for network servers