You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
1.2 KiB
31 lines
1.2 KiB
<!-- Code injected by live-server -->
|
|
<script type="text/javascript">
|
|
// <![CDATA[ <-- For SVG support
|
|
if ('WebSocket' in window) {
|
|
(function() {
|
|
function refreshCSS() {
|
|
var sheets = [].slice.call(document.getElementsByTagName("link"));
|
|
var head = document.getElementsByTagName("head")[0];
|
|
for (var i = 0; i < sheets.length; ++i) {
|
|
var elem = sheets[i];
|
|
head.removeChild(elem);
|
|
var rel = elem.rel;
|
|
if (elem.href && typeof rel != "string" || rel.length == 0 || rel.toLowerCase() == "stylesheet") {
|
|
var url = elem.href.replace(/(&|\?)_cacheOverride=\d+/, '');
|
|
elem.href = url + (url.indexOf('?') >= 0 ? '&' : '?') + '_cacheOverride=' + (new Date().valueOf());
|
|
}
|
|
head.appendChild(elem);
|
|
}
|
|
}
|
|
var protocol = window.location.protocol === 'http:' ? 'ws://' : 'wss://';
|
|
var address = protocol + window.location.host + window.location.pathname + '/ws';
|
|
var socket = new WebSocket(address);
|
|
socket.onmessage = function(msg) {
|
|
if (msg.data == 'reload') window.location.reload();
|
|
else if (msg.data == 'refreshcss') refreshCSS();
|
|
};
|
|
console.log('Live reload enabled.');
|
|
})();
|
|
}
|
|
// ]]>
|
|
</script>
|