Package | Description |
---|---|
org.richfaces.application.push |
Modifier and Type | Method and Description |
---|---|
Session |
SessionFactory.createSession(String pushSessionId) |
Session |
SessionManager.getPushSession(String id) |
Session |
Request.getSession() |
Session |
SessionTopicEvent.getSession() |
Modifier and Type | Method and Description |
---|---|
void |
Topic.checkSubscription(TopicKey key,
Session session) |
void |
SessionManager.putPushSession(Session pushSession) |
void |
SessionManager.requeue(Session session) |
Constructor and Description |
---|
SessionPreSubscriptionEvent(Topic topic,
TopicKey topicKey,
Session session) |
SessionSubscriptionEvent(Topic topic,
TopicKey topicKey,
Session session) |
SessionTopicEvent(Topic topic,
TopicKey topicKey,
Session session) |
SessionUnsubscriptionEvent(Topic topic,
TopicKey topicKey,
Session session) |
Copyright © 2013 JBoss by Red Hat. All Rights Reserved.