# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1527851091 -7200
# Node ID 8a270f32de81aec67cdb29ebda3967f1b07ed49a
# Parent  eda7a1c6532a4411da5b5c8f95427e253e8224be
server (session): new "connected" property, which is True when a user is logged

diff -r eda7a1c6532a -r 8a270f32de81 src/server/session_iface.py
--- a/src/server/session_iface.py	Fri Jun 01 13:03:52 2018 +0200
+++ b/src/server/session_iface.py	Fri Jun 01 13:04:51 2018 +0200
@@ -55,6 +55,10 @@
             return self.service_cache_url + u'/'
         return os.path.join(u'/', C.CACHE_DIR, self.uuid) + u'/'
 
+    @property
+    def connected(self):
+        return self.profile is not None
+
     def getPageData(self, page, key):
         """get session data for a page