Simon Michael df1040014e web: exit if an instance is already running (#226) ... Also - pause for 0.1s before opening the browser, to ensure the app is ready - don't open a browser if the app fails to start - terminate the server thread more carefully on exit, may resolve some lingering background thread issues eg on windows		2016-04-22 11:21:33 -07:00
..
Main.hs	web: exit if an instance is already running (#226)	2016-04-22 11:21:33 -07:00
WebOptions.hs	web: fix --file-url option (#285)	2015-09-28 10:06:36 -10:00