| author | wenzelm |
| Mon, 26 Nov 2012 11:42:16 +0100 | |
| changeset 50211 | 2a3d6d760629 |
| parent 33823 | 24090eae50b6 |
| permissions | -rw-r--r-- |
| 33823 | 1 |
(* Title: Tools/WWW_Find/echo.ML |
| 33817 | 2 |
Author: Timothy Bourke, NICTA |
3 |
||
| 33823 | 4 |
Install simple echo server. |
| 33817 | 5 |
*) |
6 |
||
7 |
local |
|
8 |
fun echo (req, content, send) = |
|
9 |
(send (ScgiReq.show req); |
|
10 |
send "--payload-----\n"; |
|
11 |
send (Byte.bytesToString content); |
|
12 |
send "\n--------------\n") |
|
13 |
in |
|
14 |
val () = ScgiServer.register ("echo", SOME Mime.plain, echo);
|
|
15 |
end; |
|
16 |