From 1f550a4fce54040aa41f6351b0ba1fe1c404652d Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Sat, 18 Mar 2017 16:26:15 +0000 Subject: [PATCH] WebBox-Basis und -Daten-Ordner fuer wbxAdmin in Dateimanager aufgenommen --- web/ui/ui.js | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/web/ui/ui.js b/web/ui/ui.js index 0fd2167..977ea1c 100644 --- a/web/ui/ui.js +++ b/web/ui/ui.js @@ -31,6 +31,8 @@ var loc; var PERS_DIR = "Persoenlich"; var PUB_DIR = "Oeffentlich"; +var BASE_DIR = "$basis"; +var DATA_DIR = "$daten"; var compilerIssues; function fm_init() { @@ -94,6 +96,10 @@ restdir = pfad.substr(PUB_DIR.length); } else if(pfad.indexOf(PERS_DIR) > -1) { restdir = pfad.substr(PERS_DIR.length); + } else if(pfad.indexOf(BASE_DIR) > -1) { + restdir = pfad.substr(BASE_DIR.length); + } else if(pfad.indexOf(DATA_DIR) > -1) { + restdir = pfad.substr(DATA_DIR.length); } if(restdir !== undefined && restdir.startsWith('/')) { restdir = restdir.substr(1); -- Gitblit v1.9.3