diff options
Diffstat (limited to 'dozentenmodul/src/main/java/gui/lecture/EditLectureAllgemein_GUI.java')
| -rw-r--r-- | dozentenmodul/src/main/java/gui/lecture/EditLectureAllgemein_GUI.java | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/dozentenmodul/src/main/java/gui/lecture/EditLectureAllgemein_GUI.java b/dozentenmodul/src/main/java/gui/lecture/EditLectureAllgemein_GUI.java index 636dc416..f9fdd8fb 100644 --- a/dozentenmodul/src/main/java/gui/lecture/EditLectureAllgemein_GUI.java +++ b/dozentenmodul/src/main/java/gui/lecture/EditLectureAllgemein_GUI.java @@ -47,6 +47,7 @@ import models.Image; import models.ItemOwner; import models.Lecture; import models.Links; +import models.SessionData; //import models.person; import models.person; @@ -99,6 +100,12 @@ public class EditLectureAllgemein_GUI extends JFrame { addWindowListener(new WindowAdapter() { @Override public void windowClosing(WindowEvent arg0) { + try { + client.setSessionInvalid(SessionData.session.getAuthToken()); + } catch (TException e) { + // TODO Auto-generated catch block + e.printStackTrace(); + } System.exit(0); } }); @@ -498,7 +505,8 @@ public class EditLectureAllgemein_GUI extends JFrame { //check which GUI to open try { - if( (client.userIsLectureAdmin(person.verantwortlicher.getUserID(), Lecture.lecture.getid()) ==true) || (person.verantwortlicher.getRole().equals("Admin")) ){ + + if((client.userIsLectureAdmin(person.verantwortlicher.getUserID(), Lecture.lecture.getid(),SessionData.session.getAuthToken()) || (person.verantwortlicher.getRole().equals("Admin")))){ //user is admin of the lecture PermissionEditLecture_GUI ev = new PermissionEditLecture_GUI(c); ev.setVisible(true); |
