diff options
author | Alexander Sulfrian <alexander@sulfrian.net> | 2010-06-08 08:22:05 +0200 |
---|---|---|
committer | Alexander Sulfrian <alexander@sulfrian.net> | 2010-06-08 08:22:05 +0200 |
commit | d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2 (patch) | |
tree | ae0b65da6432f4c26c8d5a7319efbda5d172846c /trunk/infrastructure/ace/bin/serve | |
parent | fa61221dcd89fcd72cba2c97971626f456c86e5d (diff) | |
download | etherpad-d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2.tar.gz etherpad-d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2.tar.xz etherpad-d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2.zip |
reverted folder structure change for better mergeing with upstream
Diffstat (limited to 'trunk/infrastructure/ace/bin/serve')
-rwxr-xr-x | trunk/infrastructure/ace/bin/serve | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/trunk/infrastructure/ace/bin/serve b/trunk/infrastructure/ace/bin/serve new file mode 100755 index 0000000..e02e042 --- /dev/null +++ b/trunk/infrastructure/ace/bin/serve @@ -0,0 +1,45 @@ +#!/bin/bash +scala -nocompdaemon -Dlog4j.mortbay.loglevel=WARN -classpath lib/jetty-6.1.7.jar:lib/jetty-util-6.1.7.jar:lib/servlet-api-2.5-6.1.3.jar $0 $@ & +exit +!# + +import org.mortbay.jetty.Server; +import org.mortbay.jetty.servlet.Context; +import org.mortbay.jetty.servlet.ServletHolder; +import org.mortbay.jetty.servlet.DefaultServlet; +import javax.servlet.http.{HttpServletRequest, HttpServletResponse}; + +object NonCachingDefaultServlet extends DefaultServlet() { + + private def setHeaders(response:HttpServletResponse) { + response.setHeader("Cache-Control","no-cache"); // for HTTP 1.1 + response.setHeader("Pragma","no-cache"); //for HTTP 1.0 + response.setDateHeader ("Expires", 0); //for proxy server + response.setHeader("Cache-Control","no-store"); //HTTP 1.1 + } + + override def doGet(request:HttpServletRequest, response:HttpServletResponse) { + setHeaders(response); + super.doGet(request, response); + } + + override def doHead(request:HttpServletRequest, response:HttpServletResponse) { + setHeaders(response); + super.doHead(request, response); + } +} + +val port = if (args.length >= 1) args(0).toInt else 80; +val dir = if (args.length >= 2) args(1) else "www"; + +val server = new Server(port); + +val context = new Context(server, "/", Context.SESSIONS); +context.setResourceBase(dir+"/"); +context.addServlet(new ServletHolder(NonCachingDefaultServlet), "/"); +context.setWelcomeFiles(Array[String]("index.html")); + +println("pid: "+java.lang.management.ManagementFactory.getRuntimeMXBean.getName.split("@")(0)); + +server.start(); +server.join(); |