Kovid Goyal 467f7a3273 Only retry connecting to the reload server for a second ... The port changes when the reload server is restarted in any case, so no point trying to reconnect if the server has gone away.		2015-10-27 20:43:17 +05:30
..
font-awesome	Add Font Awesome for the new server UI	2015-10-19 20:35:23 +05:30
autoreload.js	Only retry connecting to the reload server for a second	2015-10-27 20:43:17 +05:30
empty.html
index.html	--auto-reload now automatically refreshes the page in browsers as well	2015-10-27 20:33:56 +05:30
reset.css	Throbbing donate button for server UI	2015-10-20 14:31:56 +05:30