ServerChannel sync = this.server.getChannel(this.syncAppChannel);
sync.removeListener(this);
sync = server.getChannel(this.syncEngineChannel);
sync.removeListener(this);
// The following ordering must be observed!
this.sessionModerator.endSession();
if (null != this.operationEngine)
this.operationEngine.shutdown();