When getting an invalid update, hard-reload instead of trying to wait (which messes...
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 15 Nov 2016 18:10:47 +0000 (19:10 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 15 Nov 2016 18:10:47 +0000 (19:10 +0100)
commit6e6dd05d710c027aa19ac1605668e2017c4f441f
treece3e609f7da9bed04ec13e4c97081164f029d0bd
parent72de1da79baf2dddf6b37374aeb27bd3576af596
When getting an invalid update, hard-reload instead of trying to wait (which messes up diff handling).
www/js/remoteglot.js