1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/WWW_Find/lighttpd.conf	Fri Nov 20 18:36:44 2009 +1100
     1.3 @@ -0,0 +1,20 @@
     1.4 +server.port = 8000
     1.5 +
     1.6 +# debug.log-request-header = "enable"
     1.7 +# debug.log-file-not-found = "enable"
     1.8 +# debug.log-request-handling = "enable"
     1.9 +# debug.log-response-header = "enable"
    1.10 +
    1.11 +mimetype.assign = (
    1.12 +  ".html"   => "text/html; charset=UTF-8",
    1.13 +  ".css"    => "text/css; charset=UTF-8",
    1.14 +)
    1.15 +
    1.16 +server.modules = ( "mod_scgi" )
    1.17 +
    1.18 +scgi.server = ("/isabelle" => ((
    1.19 +		      "host" => "127.0.0.1",
    1.20 +		      "port" => 64000,
    1.21 +		      "check-local" => "disable"
    1.22 +		)))
    1.23 +