equal
deleted
inserted
replaced
5 theory Start_WWW_Find imports WWW_Find begin |
5 theory Start_WWW_Find imports WWW_Find begin |
6 |
6 |
7 ML {* |
7 ML {* |
8 Options.default_put_bool "show_question_marks" false; |
8 Options.default_put_bool "show_question_marks" false; |
9 YXML_Find_Theorems.init (); |
9 YXML_Find_Theorems.init (); |
10 val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the; |
10 val port = Markup.parse_int (getenv "SCGIPORT"); |
11 ScgiServer.server' 10 "/" port; |
11 ScgiServer.server' 10 "/" port; |
12 *} |
12 *} |
13 |
13 |
14 end |
14 end |
15 |
15 |