[SYSADMIN ACTION][Bugfix:Server] limit websocket cookies - #798

[SYSADMIN ACTION][Bugfix:Server] limit websocket cookies#798

bmcutler merged 1 commit into

mainSubmitty/submitty.github.io:mainfrom

websocketcookiesSubmitty/submitty.github.io:websocketcookiesCopy head branch name to clipboard