Auf Nutzung mit Docker umgestellt

ulrich

2018-02-17 fe50f98aae09eaf8c360857f9fc8a024409469d9

 web/ui/data.js

@@ -79,6 +79,10 @@
    return miniatur;
  };
  
  this.dia = function() {
    return fm_slideshow;
  };
  
  this.miniurl = function() {
      var userid = $('#userMenu').text();
      if(self.fext === '') {