2 Commits (9b115c5e46c628213dc9fd894cd965506d441950)

Author	SHA1	Message	Date
Maxim Zakharov	54b1a79cb6	Sporadically crashes on Windows when exit. Fixes #3177 ... 1) Shutdown the python server properly. 2) Disabled "Shutdown server" menu till server is not successfully started. Initial patch sent by Maxim, modified by Akshay Joshi.	2018-03-15 13:26:24 +05:30
Dave Page	7192a2b675	Rewrite the runtime as a tray-based server which can launch a web browser. Fixes #3086	2018-02-05 15:32:14 +00:00