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;
wenzelm@51085
     1
(* Load this theory to start the WWW_Find server on port defined by environment
wenzelm@51085
     2
   variable "SCGIPORT". Used by the isabelle wwwfind tool.
wenzelm@51085
     3
*)
wenzelm@51085
     4
wenzelm@51085
     5
theory Start_WWW_Find imports WWW_Find begin
wenzelm@51085
     6
wenzelm@51085
     7
ML {*
wenzelm@51949
     8
  Options.default_put_bool "show_question_marks" false;
wenzelm@51085
     9
  YXML_Find_Theorems.init ();
wenzelm@51085
    10
  val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the;
wenzelm@51085
    11
  ScgiServer.server' 10 "/" port;
wenzelm@51085
    12
*}
wenzelm@51085
    13
wenzelm@51085
    14
end
wenzelm@51085
    15