Bug mit relativen Pfaden entfernt

ulrich

2018-03-03 eb2a2d78152c7ca689e3aac116c107229a896a66

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