src/Tools/WWW_Find/echo.ML
author kleing
Fri, 20 Nov 2009 18:36:44 +1100
changeset 33817 f6a4da31f2f1
child 33823 24090eae50b6
permissions -rw-r--r--
WWW_Find component: find_theorems via web browser
     1 (*  Title:      echo.ML
     2     Author:     Timothy Bourke, NICTA
     3 
     4     Install simple echo server.
     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