+ static void logout(ILoginContext secureContext, String username) {
+ try {
+ secureContext.logout();
+ log.info("Logged out " + (username != null ? username : "")
+ + " (THREAD=" + Thread.currentThread().getId() + ")");
+ } catch (LoginException e) {
+ log.error("Erorr when logging out", e);
+ }
+ }
+
+ // static void closeWorkbench() {
+ // final IWorkbench workbench;
+ // try {
+ // workbench = PlatformUI.getWorkbench();
+ // } catch (Exception e) {
+ // return;
+ // }
+ // if (workbench == null)
+ // return;
+ // final Display display = workbench.getDisplay();
+ // if (display != null && !display.isDisposed())
+ // display.syncExec(new Runnable() {
+ //
+ // public void run() {
+ // if (!display.isDisposed())
+ // workbench.close();
+ // }
+ // });
+ //
+ // if (log.isDebugEnabled())
+ // log.debug("Workbench closed");
+ // }
+