DestroyableSession.java

package org.richfaces.application.push;

/**
 * A Push session that needs to be destroyed when ending
 */
public interface DestroyableSession extends Session {

    /**
     * Destroy the session and associated resources
     */
    void destroy();
}