4 Commits

Author	SHA1	Message	Date
Kovid Goyal	dc1bf3a36d	Close auto reload websocket on page unload	2015-11-27 11:54:26 +05:30
Kovid Goyal	438f5a8d88	...	2015-11-12 18:05:45 +05:30
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
Kovid Goyal	6e874b5377	--auto-reload now automatically refreshes the page in browsers as well ... Uses a WebSocket to send a signal to all browsers that have loaded the page.	2015-10-27 20:33:56 +05:30