ServerSession function ( String arg0 ) { return userSessionMap . get ( arg0 ) ; }
obtains the serversession associated with a given user id . concode_field_sep ServerSession controllerServerSession concode_elem_sep Logger LOGGER concode_elem_sep PersistentStore persistentStore concode_elem_sep EventAdmin eventAdmin concode_elem_sep Map<String,ServerSession> userSessionMap concode_elem_sep java.lang.String EVENT_TOPIC_CANCEL concode_elem_sep ExecutorService executorService concode_field_sep void queuePersistedMessages concode_elem_sep String getControllerRootTopic concode_elem_sep List<Map<String,String>> getNotificationsForUser concode_elem_sep void deregisterUserSession concode_elem_sep void registerUserSession concode_elem_sep void adminCancelDownload concode_elem_sep String getUserId