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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
# example program: a single-request HTTP server
# listen for connections from clients on a server socket
# when a connection occurs, transfer it to a session socket
# read from it using channels
# write to it directly
#
# After running it, navigate to localhost:8080. Your browser should display
# "SUCCESS!" and the server will terminate after one connection.
def main [
local-scope
socket:num <- $open-server-socket 8080/port
$print [Mu socket creation returned ], socket, 10/newline
return-unless socket
session:num <- $accept socket
contents:&:source:char, sink:&:sink:char <- new-channel 30
sink <- start-running transmit-from-socket session, sink
buf:&:buffer <- new-buffer 30
{
c:char, done?:bool, contents <- read contents
break-if done?
buf <- append buf, c
loop
}
socket-text:text <- buffer-to-array buf
$print [Done reading from socket.], 10/newline
write-to-socket session, [HTTP/1.0 200 OK
Content-type: text/plain
SUCCESS!
]
$print 10/newline, [Wrote to and closing socket...], 10/newline
$close-socket session
$close-socket socket
]
def write-to-socket session-socket:num, s:text [
local-scope
load-ingredients
len:num <- length *s
i:num <- copy 0
{
done?:bool <- greater-or-equal i, len
break-if done?
c:char <- index *s, i
$print [writing to socket: ], i, [ ], c, 10/newline
$write-to-socket session-socket, c
i <- add i, 1
loop
}
]
def transmit-from-socket session:num, sink:&:sink:char -> sink:&:sink:char [
local-scope
load-ingredients
{
req:text, bytes-read:num <- $read-from-socket session, 4096/bytes
$print [read ], bytes-read, [ bytes from socket], 10/newline
i:num <- copy 0
{
done?:bool <- greater-or-equal i, bytes-read
break-if done?
c:char <- index *req, i
end-of-request?:bool <- equal c, 10/newline
break-if end-of-request? # To be safe, for now.
sink <- write sink, c
i <- add i, 1
loop
}
}
sink <- close sink
]
|