web/ui/ui.js | ●●●●● patch | view | raw | blame | history |
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);