WebBox-Basis und -Daten-Ordner fuer wbxAdmin in Dateimanager aufgenommen

ulrich

2017-03-18 1f550a4fce54040aa41f6351b0ba1fe1c404652d

 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);