-
Stavros Sachtouris authored
In protocol.py, correct the WebSocketProtocol docstring. In gui/protocol.js create a simple method for debug logs. In gui/menu.html use the aforementioned method. In protocol.js make sure the connection is closed at shutdown. In gui.py, remove the GUI session file even when quitting abnormally Ignore "exclude" setting for now
65b6ce07