diff options
| author | Michael Wilson | 2014-10-31 10:12:50 +0100 |
|---|---|---|
| committer | Michael Wilson | 2014-10-31 10:12:50 +0100 |
| commit | 134fe12c4519c8c5e3212c6a3ffb44dd0770b61b (patch) | |
| tree | a5a8e4091ec9eeccc06d5338107e709cf1f197fb /dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java | |
| parent | -image templates are now listed a such, independently of the logged in user (diff) | |
| download | tutor-module-134fe12c4519c8c5e3212c6a3ffb44dd0770b61b.tar.gz tutor-module-134fe12c4519c8c5e3212c6a3ffb44dd0770b61b.tar.xz tutor-module-134fe12c4519c8c5e3212c6a3ffb44dd0770b61b.zip | |
//
Diffstat (limited to 'dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java')
| -rw-r--r-- | dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java | 12 |
1 files changed, 6 insertions, 6 deletions
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() { |