From 134fe12c4519c8c5e3212c6a3ffb44dd0770b61b Mon Sep 17 00:00:00 2001 From: Michael Wilson Date: Fri, 31 Oct 2014 10:12:50 +0100 Subject: // --- dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java') diff --git a/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java b/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java index fd95bd8d..fbef707b 100644 --- a/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java +++ b/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java @@ -594,12 +594,12 @@ public class MainMenue_GUI extends JFrame { }// end if else // always print rights information - LOGGER.info("Rights: (r, w, cp, a, la) = (" - + GUIRights.rights.getRead() + ", " - + GUIRights.rights.getWrite() + ", " - + GUIRights.rights.getChangePermission() + ", " - + GUIRights.rights.getAdmin() + ", " - + GUIRights.rights.getLinkAllowed() + ")"); + //LOGGER.info("Rights: (r, w, cp, a, la) = (" + // + GUIRights.rights.getRead() + ", " + // + GUIRights.rights.getWrite() + ", " + // + GUIRights.rights.getChangePermission() + ", " + // + GUIRights.rights.getAdmin() + ", " + // + GUIRights.rights.getLinkAllowed() + ")"); }// end setRoleRights public void setCorrectRadioButton() { -- cgit v1.2.3-55-g7522