changeset 51085 | d90218288d51 |
child 51949 | f6858bb224c9 |
51084:cbae5c5ffd23 | 51085:d90218288d51 |
---|---|
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 YXML_Find_Theorems.init (); |
|
9 val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the; |
|
10 ScgiServer.server' 10 "/" port; |
|
11 *} |
|
12 |
|
13 end |
|
14 |