-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathshell1.html
27 lines (25 loc) · 889 Bytes
/
shell1.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
<!--
! Excerpted from "Programming Erlang, Second Edition",
! published by The Pragmatic Bookshelf.
! Copyrights apply to this code. It may not be used to create training material,
! courses, books, articles, and the like. Contact us if you are in doubt.
! We make no guarantees that this code is fit for any purpose.
! Visit http://www.pragmaticprogrammer.com/titles/jaerlang2 for more book information.
-->
<script type="text/javascript" src="./jquery-1.7.1.min.js"></script>
<script type="text/javascript" src="./websock.js"></script>
<link rel="stylesheet" href="./shell1.css" type="text/css">
<style>
</style>
<body>
<h2>Erlang shell</h2>
<div id="live" socket="2233" mod="shell1"/>
<div id="scroll"></div>
<p>
<input id="input" class="live_input"> </input>
</body>
<script>
$(document).ready(function(){
connect("localhost", 2233, "shell1");
});
</script>