diff options
| author | Jonathan Bauer | 2014-12-01 16:31:32 +0100 |
|---|---|---|
| committer | Jonathan Bauer | 2014-12-01 16:31:32 +0100 |
| commit | 0f601d6a9f1c9caa92c57aaaf61357e466171268 (patch) | |
| tree | d40650655e622b80cde48f4309adbbb0eb425d6e /dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java | |
| parent | [client] minor comment fixes (diff) | |
| parent | Merge branch 'master' of ssh://git.openslx.org/openslx-ng/tutor-module (diff) | |
| download | tutor-module-0f601d6a9f1c9caa92c57aaaf61357e466171268.tar.gz tutor-module-0f601d6a9f1c9caa92c57aaaf61357e466171268.tar.xz tutor-module-0f601d6a9f1c9caa92c57aaaf61357e466171268.zip | |
Merge branch 'master' of git.openslx.org:openslx-ng/tutor-module
Diffstat (limited to 'dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java')
| -rw-r--r-- | dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java b/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java index eff62ba1..a171cd57 100644 --- a/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java +++ b/dozentenmodul/src/main/java/gui/intro/MainMenue_GUI.java @@ -58,6 +58,7 @@ import models.person; import org.apache.log4j.Logger; import org.apache.thrift.TException; +import server.generated.Server.Client; import util.GuiOrganizer; import util.News; import util.OpenLinks; @@ -84,6 +85,8 @@ public class MainMenue_GUI extends JFrame { private final ButtonGroup buttonGroup = new ButtonGroup(); private JMenuItem mntmAbout; Component c = null; + + Client client = models.Client.clientcon.getClient(); @@ -94,7 +97,7 @@ public class MainMenue_GUI extends JFrame { // for testing ImageRights imageRights = new ImageRights(); - + boolean tokenDeleted; public MainMenue_GUI(Component formerGUI) { @@ -102,7 +105,18 @@ public class MainMenue_GUI extends JFrame { addWindowListener(new WindowAdapter() { @Override public void windowClosing(WindowEvent arg0) { - System.exit(0); + try { + tokenDeleted = client.setSessionInvalid(SessionData.session.getAuthToken()); + } catch (TException e) { + // TODO Auto-generated catch block + e.printStackTrace(); + } + if(tokenDeleted) + { + System.out.println("test"); + System.exit(0); + } + } }); try { |
