namespace InABox.API { // class RestPusher : IPusher // { // private WebSocketServer SocketServer; // // public int Port => SocketServer.Port; // // public RestPusher(int port) // { // SocketServer = new WebSocketServer(port); // SocketServer.Poll += SocketServer_Poll; // } // // private void SocketServer_Poll(PushState.Session session) // { // PushManager.Poll(session.SessionID); // } // // public void Start() // { // SocketServer.Start(); // } // // public void Stop() // { // SocketServer.Stop(); // } // // public void PushToAll(TPush push) where TPush : BaseObject // { // SocketServer.Push(push); // } // // public void PushToSession(Guid session, Type TPush, BaseObject push) // { // SocketServer.Push(session, TPush, push); // } // // public void PushToSession(Guid session, TPush push) where TPush : BaseObject // { // SocketServer.Push(session, push); // } // // public IEnumerable GetUserSessions(Guid userID) // { // return CredentialsCache.GetUserSessions(userID); // } // // public IEnumerable GetSessions(Platform platform) // { // return SocketServer.GetSessions(platform); // } // } }