From 1a5e3c2d64be1c05a422fd78b23a31de155eca64 Mon Sep 17 00:00:00 2001
From: "alexanders@b2ef00c0-3703-41da-baef-cfe82387ac0c" <none@none>
Date: Wed, 3 Feb 2010 00:48:31 +0000
Subject: removed duplicate trunk directory

--HG--
extra : convert_revision : svn%3Ab2ef00c0-3703-41da-baef-cfe82387ac0c/trunk%404
---
 trunk/infrastructure/ace/bin/serve | 45 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100755 trunk/infrastructure/ace/bin/serve

(limited to 'trunk/infrastructure/ace/bin/serve')

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();
-- 
cgit v1.2.3-1-g7c22