author | wenzelm |
Thu, 10 Oct 2013 12:02:12 +0200 | |
changeset 54320 | b8bd31c7058c |
parent 33817 | f6a4da31f2f1 |
permissions | -rw-r--r-- |
server.port = 8000 # debug.log-request-header = "enable" # debug.log-file-not-found = "enable" # debug.log-request-handling = "enable" # debug.log-response-header = "enable" mimetype.assign = ( ".html" => "text/html; charset=UTF-8", ".css" => "text/css; charset=UTF-8", ) server.modules = ( "mod_scgi" ) scgi.server = ("/isabelle" => (( "host" => "127.0.0.1", "port" => 64000, "check-local" => "disable" )))