src/Tools/WWW_Find/lighttpd.conf
author wenzelm
Sat, 09 Jul 2011 21:53:27 +0200
changeset 43721 fad8634cee62
parent 33817 f6a4da31f2f1
permissions -rw-r--r--
echo prover input via raw_messages, for improved protocol tracing;

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"
		)))