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