Is it ok to let this simply die when the Core is shut down, or should it have some kind of shutdown hook for stopping the SocketServer?