4 Commits (6ca07528ff1fd6e26b73d3fbc642516cdc2db593)

Author	SHA1	Message	Date
Anthony DeBarros	a6ee27cf25	s/shutdown/shut down/	2018-06-08 08:45:02 +01:00
Dave Page	92ba055d66	Fix compiler warning.	2018-04-27 13:27:37 +01:00
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