• Stavros Sachtouris's avatar
    Fix minor bugs and omissions · 65b6ce07
    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
protocol.py 16.2 KB