renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
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"
)))