diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run index 32708022ba7..767e8889d71 100644 --- a/repos/ports/run/lighttpd.run +++ b/repos/ports/run/lighttpd.run @@ -30,20 +30,23 @@ append config { + - - - - - } + } append_platform_drv_config append config { + + + + + + - + @@ -66,6 +69,7 @@ server.port = 80 server.document-root = "/website" server.event-handler = "select" server.network-backend = "write" +debug.log-request-header = "enable" index-file.names = ( "index.xhtml", "index.html", "index.htm" ) @@ -122,5 +126,6 @@ append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user -redir tcp:5555::80 " append qemu_args " -nographic -serial mon:stdio " +append qemu_args " -m 3G " run_genode_until forever