dekodieren fuer Codemirror

ulrich

2017-03-06 fab80c872af697d61f200fd410a7ecc64ca0a537

 src/java/de/uhilger/filecms/pub/SessionManager.java

@@ -21,6 +21,7 @@
package de.uhilger.filecms.pub;

import de.uhilger.filecms.api.Api;
import java.security.Principal;
import java.util.logging.Logger;

/**
@@ -35,5 +36,16 @@
    return "Die aktuelle Sitzung ist nicht mehr gueltig.";
  }
  
  public String getSessionUser() {
    String id = null;
    Object p = getRequest().getUserPrincipal();
    if(p instanceof Principal) {
      id = ((Principal) p).getName();
      logger.finer("User-ID: " + id);
    } else {
      logger.finer("getUserPrincipal returned null or no Principal");
    }
    return id;
  }
  
}