Server shutting down message.
The message id.
The different kinds of messages that are used in the WebSocket api.