2018-06-07 19:43:41 +02:00
|
|
|
package org.telegram.telegrambots.session;
|
|
|
|
|
|
|
|
import org.apache.shiro.session.mgt.SessionKey;
|
|
|
|
import org.apache.shiro.session.mgt.eis.SessionIdGenerator;
|
|
|
|
|
|
|
|
import java.io.Serializable;
|
|
|
|
|
|
|
|
public interface ChatIdConverter extends SessionKey, SessionIdGenerator {
|
2018-07-27 00:48:40 +02:00
|
|
|
void setSessionId(Serializable sessionId);
|
2018-06-07 19:43:41 +02:00
|
|
|
}
|