more system-atic options;
authorwenzelm
Fri May 17 19:11:03 2013 +0200 (2013-05-17)
changeset 5205769137d20ab0b
parent 52056 fc458f304f93
child 52058 387dc978422b
more system-atic options;
src/Tools/WWW_Find/Start_WWW_Find.thy
src/Tools/WWW_Find/lib/Tools/wwwfind
     1.1 --- a/src/Tools/WWW_Find/Start_WWW_Find.thy	Fri May 17 19:04:52 2013 +0200
     1.2 +++ b/src/Tools/WWW_Find/Start_WWW_Find.thy	Fri May 17 19:11:03 2013 +0200
     1.3 @@ -5,7 +5,6 @@
     1.4  theory Start_WWW_Find imports WWW_Find begin
     1.5  
     1.6  ML {*
     1.7 -  Options.default_put_bool @{option show_question_marks} false;
     1.8    YXML_Find_Theorems.init ();
     1.9    val port = Markup.parse_int (getenv "SCGIPORT");
    1.10    ScgiServer.server' 10 "/" port;
     2.1 --- a/src/Tools/WWW_Find/lib/Tools/wwwfind	Fri May 17 19:04:52 2013 +0200
     2.2 +++ b/src/Tools/WWW_Find/lib/Tools/wwwfind	Fri May 17 19:11:03 2013 +0200
     2.3 @@ -134,10 +134,10 @@
     2.4      "$LIGHTTPD" -f "$WWWCONFIG"
     2.5      if [ "$LOGFILE" = true ]; then
     2.6        (cd "$WWWFINDDIR"; \
     2.7 -       nohup "$ISABELLE_PROCESS" -r -e "$MLSTARTSERVER" "$INPUT") &
     2.8 +       nohup "$ISABELLE_PROCESS" -r -o show_question_marks=false -e "$MLSTARTSERVER" "$INPUT") &
     2.9      else
    2.10        (cd "$WWWFINDDIR"; \
    2.11 -       nohup "$ISABELLE_PROCESS" -r -e "$MLSTARTSERVER" \
    2.12 +       nohup "$ISABELLE_PROCESS" -r -o show_question_marks=false -e "$MLSTARTSERVER" \
    2.13           "$INPUT" > /dev/null 2> /dev/null) &
    2.14      fi
    2.15      ;;