2024-12-29 02:09:53 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<title>Elm UI Website</title>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id="elm"></div>
|
|
|
|
|
<script src="elm.min.js"></script>
|
2025-01-01 01:50:26 +00:00
|
|
|
<script src="ports.websocket.js"></script>
|
2024-12-29 02:09:53 +00:00
|
|
|
<script>
|
|
|
|
|
var app = Elm.Main.init({
|
|
|
|
|
node: document.getElementById('elm')
|
|
|
|
|
});
|
2025-01-01 01:50:26 +00:00
|
|
|
initSockets(app);
|
2024-12-29 02:09:53 +00:00
|
|
|
</script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
