183184185186187188189190191192193
{ mServer.send(new Quit("shutting down")); } catch (CoreException e) { throw new LogoffErrorException(this, e); } fireLoggedOff(); } }