Expand description
Handles playground-views-related functionality, in particular the websocket connections used to update the grading for services like tmc.
Structsยง
- Client
Connection ๐ - WsConnections ๐
Enumsยง
- The message type for all messages sent from the server to the client from the playgrounds-views websocket connection.
Constantsยง
- CONNECTION_
TIMEOUT ๐ - PING_
INTERVAL ๐
Staticsยง
- WS_
CONNECTIONS ๐
Functionsยง
- receive_
grading ๐playground-views passes a URL pointing to this route to an exercise service when sending submissions so that if the service has an update for a pending grading, it will be sent here and passed on to through the websocket - websocket ๐Starts a new websocket connection.