# HG changeset patch
# User casties
# Date 1405956495 -7200
# Node ID 4724fc7b47333675eab81e923ecfa07e5376f472
# Parent  4466194a4eae62ebfde84bc40f2c10d9b812b00f
add slashes to paths for getRealPath to work with Tomcat 8.

diff -r 4466194a4eae -r 4724fc7b4733 src/main/java/de/mpiwg/itgroup/annotations/restlet/BaseRestlet.java
--- a/src/main/java/de/mpiwg/itgroup/annotations/restlet/BaseRestlet.java	Fri Jul 18 18:08:41 2014 +0200
+++ b/src/main/java/de/mpiwg/itgroup/annotations/restlet/BaseRestlet.java	Mon Jul 21 17:28:15 2014 +0200
@@ -350,7 +350,7 @@
             String webPath = path;
             if (!webPath.startsWith("/")) {
                 // relative path in webapp starts in WEB-INF
-                webPath = "WEB-INF/" + webPath;
+                webPath = "/WEB-INF/" + webPath;
             }
             ps = sc.getResourceAsStream(webPath);
             if (ps == null) {
@@ -387,7 +387,7 @@
         // is the filename absolute?
         if (!f.isAbsolute() && sc != null) {
             // relative path -> use getRealPath to resolve in webapp
-            filename = sc.getRealPath("WEB-INF/" + filename);
+            filename = sc.getRealPath("/WEB-INF/" + filename);
         }
         return filename;
     }