28 lines
702 B
HTML
28 lines
702 B
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="UTF-8"/>
|
|
<title>Terminal</title>
|
|
<script src="util.js"></script>
|
|
<script src="Parser.js"></script>
|
|
<script src="UserInterface.js"></script>
|
|
<script src="WebSocketHandler.js"></script>
|
|
<script src="FileSystem.js"></script>
|
|
<script src="Session.js"></script>
|
|
<script src="Command.js"></script>
|
|
<script src="TextEditor.js"></script>
|
|
<script src="API.js"></script>
|
|
<script src="Uploader.js"></script>
|
|
<script src="Terminal.js"></script>
|
|
<script>
|
|
window.onload = function() {
|
|
var terminal = new Terminal('ws://' + location.hostname + ':2413/terminal');
|
|
document.body.appendChild(terminal.ui.view);
|
|
terminal.loop();
|
|
};
|
|
</script>
|
|
</head>
|
|
<body>
|
|
</body>
|
|
</html>
|