A bunch of changes that make it easy to run the gf server with lighttpd

1 files changed, 78 insertions, 0 deletions

diff --git a/src/server/lighttpd.conf b/src/server/lighttpd.conf
new file mode 100644
index 000000000..8bce905e4
--- /dev/null
+++ b/src/server/lighttpd.conf
@@ -0,0 +1,78 @@
+#Run with (with -D for no-daemon) 
+# /usr/sbin/lighttpd -f lighttpd.conf -D
+#
+
+server.modules              = (
+                                "mod_access",
+                                "mod_fastcgi",
+                                "mod_accesslog" )
+var.basedir = var.CWD 
+
+server.document-root        = basedir
+
+## where to send error-messages to
+server.errorlog             = basedir + "/error.log"
+
+# files to check for if .../ is requested
+index-file.names            = ( "index.php", "index.html",
+                                "index.htm", "default.htm" )
+
+## set the event-handler (read the performance section in the manual)
+# server.event-handler = "freebsd-kqueue" # needed on OS X # Crashes on osx
+server.event-handler = "poll"
+#server.event-handler = "select"
+
+# mimetype mapping
+mimetype.assign             = (
+  ".gif"          =>      "image/gif",
+  ".jpg"          =>      "image/jpeg",
+  ".jpeg"         =>      "image/jpeg",
+  ".png"          =>      "image/png",
+  ".css"          =>      "text/css",
+  ".html"         =>      "text/html",
+  ".htm"          =>      "text/html",
+  ".js"           =>      "text/javascript",
+  # default mime type
+  ""              =>      "application/octet-stream",
+ )
+
+accesslog.filename = basedir + "/access.log"
+
+fastcgi.debug = 0
+fastcgi.server = ( "/pgf" =>
+                  ( "localhost" =>
+                   (
+                    "socket" => "/tmp/fastcgi.socket",
+                    "bin-path" => basedir + "/pgf.fcgi",
+                    "bin-environment" => ("GHCRTS" => "-N2",
+		                          "PGF_FILE" => "grammar.pgf"),
+                    "min-procs" => 1,
+                    "max-procs" => 1,
+		    "check-local" => "disable"
+                   )
+                  )
+                 )
+
+
+## deny access the file-extensions
+#
+# ~    is for backupfiles from vi, emacs, joe, ...
+# .inc is often used for code includes which should in general not be part
+#      of the document-root
+url.access-deny             = ( "~", ".inc" )
+
+$HTTP["url"] =~ "\.pdf$" {
+  server.range-requests = "disable"
+}
+
+##
+# which extensions should not be handle via static-file transfer
+#
+# .php, .pl, .fcgi are most often handled by mod_fastcgi or mod_cgi
+static-file.exclude-extensions = ( ".php", ".pl", ".fcgi" )
+
+######### Options that are good to be but not neccesary to be changed #######
+
+## bind to port (default: 80)
+server.port                = 41296
+