/** * PUBLIC: * Return the event manager. * The event manager can be used to register for various session events. */ public SessionEventManager getEventManager() { if (eventManager == null) { synchronized (this) { if (eventManager == null) { // PERF: lazy init. eventManager = new SessionEventManager(this); } } } return eventManager; }
/** * PUBLIC: * Return the event manager. * The event manager can be used to register for various session events. */ public SessionEventManager getEventManager() { if (eventManager == null) { synchronized (this) { if (eventManager == null) { // PERF: lazy init. eventManager = new SessionEventManager(this); } } } return eventManager; }
/** * PUBLIC: * Return the event manager. * The event manager can be used to register for various session events. */ @Override public SessionEventManager getEventManager() { if (eventManager == null) { synchronized (this) { if (eventManager == null) { // PERF: lazy init. eventManager = new SessionEventManager(this); } } } return eventManager; }