src/Tools/WWW_Find/Start_WWW_Find.thy
author wenzelm
Sun May 12 20:25:45 2013 +0200 (2013-05-12 ago)
changeset 51949 f6858bb224c9
parent 51085 d90218288d51
child 51950 13fb5e4f2893
permissions -rw-r--r--
some system options as context-sensitive config options;
     1 (* Load this theory to start the WWW_Find server on port defined by environment
     2    variable "SCGIPORT". Used by the isabelle wwwfind tool.
     3 *)
     4 
     5 theory Start_WWW_Find imports WWW_Find begin
     6 
     7 ML {*
     8   Options.default_put_bool "show_question_marks" false;
     9   YXML_Find_Theorems.init ();
    10   val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the;
    11   ScgiServer.server' 10 "/" port;
    12 *}
    13 
    14 end
    15