server/repository.py
branchstable
changeset 2245 7463e1a748dd
parent 2192 529edb6a6c96
child 2267 e1d2df3f1091
--- a/server/repository.py	Thu Jul 02 12:59:16 2009 +0200
+++ b/server/repository.py	Thu Jul 02 13:00:20 2009 +0200
@@ -664,13 +664,22 @@
           custom properties)
         """
         session = self._get_session(sessionid, setpool=False)
-        if props:
-            # update session properties
-            for prop, value in props.items():
-                session.change_property(prop, value)
+        if props is not None:
+            self.set_session_props(sessionid, props)
         user = session.user
         return user.eid, user.login, user.groups, user.properties
 
+    def set_session_props(self, sessionid, props):
+        """this method should be used by client to:
+        * check session id validity
+        * update user information on each user's request (i.e. groups and
+          custom properties)
+        """
+        session = self._get_session(sessionid, setpool=False)
+        # update session properties
+        for prop, value in props.items():
+            session.change_property(prop, value)
+
     # public (inter-repository) interface #####################################
 
     def entities_modified_since(self, etypes, mtime):