src/Tools/WWW_Find/Start_WWW_Find.thy
changeset 51085 d90218288d51
child 51949 f6858bb224c9
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/WWW_Find/Start_WWW_Find.thy	Mon Feb 11 14:39:04 2013 +0100
     1.3 @@ -0,0 +1,14 @@
     1.4 +(* Load this theory to start the WWW_Find server on port defined by environment
     1.5 +   variable "SCGIPORT". Used by the isabelle wwwfind tool.
     1.6 +*)
     1.7 +
     1.8 +theory Start_WWW_Find imports WWW_Find begin
     1.9 +
    1.10 +ML {*
    1.11 +  YXML_Find_Theorems.init ();
    1.12 +  val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the;
    1.13 +  ScgiServer.server' 10 "/" port;
    1.14 +*}
    1.15 +
    1.16 +end
    1.17 +