diff -r f9386e3bf3e8 -r de86c6592cc7 server/repository.py
--- a/server/repository.py	Tue Dec 15 10:20:26 2015 +0100
+++ b/server/repository.py	Wed Jul 16 10:48:47 2014 +0200
@@ -654,12 +654,6 @@
         """open a new session for a given user and return its sessionid """
         return self.new_session(login, **kwargs).sessionid
 
-    def check_session(self, sessionid):
-        """raise `BadConnectionId` if the connection is no more valid, else
-        return its latest activity timestamp.
-        """
-        return self._get_session(sessionid).timestamp
-
     def close(self, sessionid, txid=None, checkshuttingdown=True):
         """close the session with the given id"""
         session = self._get_session(sessionid, txid=txid,