From 02c0806381e05274a8a165e2aa89595b9ed99db1 Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Thu, 7 Mar 2013 11:57:56 +0100
Subject: [PATCH] make mobile/ dir-listable

---
 tools/appengine/war/WEB-INF/appengine-web.xml | 1 +
 tools/appengine/war/WEB-INF/web.xml           | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/tools/appengine/war/WEB-INF/appengine-web.xml b/tools/appengine/war/WEB-INF/appengine-web.xml
index d928ccd2..879c28c9 100644
--- a/tools/appengine/war/WEB-INF/appengine-web.xml
+++ b/tools/appengine/war/WEB-INF/appengine-web.xml
@@ -8,6 +8,7 @@
     <include path="/**.js" expiration="7d"/>
     <include path="/iitc-nightly/iitc-nightly-latest.user.js.js" expiration="12h"/>
     <include path="/iitc-nightly/**"/>
+    <include path="/mobile/**"/>
   </static-files>
   <threadsafe>true</threadsafe>
 </appengine-web-app>
diff --git a/tools/appengine/war/WEB-INF/web.xml b/tools/appengine/war/WEB-INF/web.xml
index b5c34bad..3a71badc 100644
--- a/tools/appengine/war/WEB-INF/web.xml
+++ b/tools/appengine/war/WEB-INF/web.xml
@@ -20,4 +20,8 @@
     <servlet-name>default</servlet-name>
     <url-pattern>/iitc-nightly/*</url-pattern>
  </servlet-mapping>
+ <servlet-mapping>
+    <servlet-name>default</servlet-name>
+    <url-pattern>/mobile/*</url-pattern>
+ </servlet-mapping>
 </web-app>