From 45ad000a53dfd90d36ff5c74d5900a24e7b2df00 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Sat, 03 Mar 2018 18:19:22 +0000
Subject: [PATCH] Ordner dav in ui.js hinzugefuegt

---
 web/ui/ui.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/web/ui/ui.js b/web/ui/ui.js
index 855adeb..7485ca8 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -31,6 +31,7 @@
 var loc;
 var PERS_DIR = "Persoenlich";
 var PUB_DIR = "Oeffentlich";
+var DAV_DIR = "Austausch";
 var BASE_DIR = "$basis";
 var DATA_DIR = "$daten";
 var WWW_DIR = "www";
@@ -128,6 +129,8 @@
     restdir = pfad.substr(BASE_DIR.length);
   } else if(pfad.indexOf(DATA_DIR) > -1) {
     restdir = pfad.substr(DATA_DIR.length);
+  } else if(pfad.indexOf(DAV_DIR) > -1) {
+    restdir = pfad.substr(DAV_DIR.length);
   }
   if(restdir !== undefined && restdir.startsWith('/')) {
     restdir = restdir.substr(1);

--
Gitblit v1.9.3