StevenJNPearce 528f3f1857 Add browser reload on file change/rebuild
Add browser reload on file change/rebuild
2018-09-27 17:05:17 -04:00

7 lines
183 B
JavaScript

const ws = new WebSocket(`ws://${location.hostname}:${location.port}`);
ws.addEventListener('message', (evt) => {
if(evt.data === 'outputDone') {
location.reload(true);
}
});