HttpServer.reviveWebSocketManager

Attempts to revive a dead websocket manager thread by simply replacing it with a new one and starting that. This is only meant as a means to minimize damage when there's a severe bug in websocket logic.