webdev 0.1.1

Simple local dev web server for localhost development (NOT FOR PROD)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

'use strict';

const { hostname, port } = window.location;
const ws_url = `ws://${hostname}:${port ?? 80}/_webdev_live_ws`;

const socket = new WebSocket(ws_url);

// Connection opened
socket.addEventListener('open', function (event) {
});

// Listen for messages
socket.addEventListener('message', function (event) {
  document.location.reload()
});