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