feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu);
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"
)))