# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1554664017 -7200
# Node ID fc78d53f0ffaaa90e3180b25155d2b43cc9758c1
# Parent  82d8243e6ad1d638e3df68a085a5b29eddc8fb80
quick frontend (app): added debug logs on sync state change + refill contact lists on resync when AUTO_RESYNC is set

diff -r 82d8243e6ad1 -r fc78d53f0ffa sat_frontends/quick_frontend/quick_app.py
--- a/sat_frontends/quick_frontend/quick_app.py	Sun Apr 07 20:59:34 2019 +0200
+++ b/sat_frontends/quick_frontend/quick_app.py	Sun Apr 07 21:06:57 2019 +0200
@@ -459,8 +459,10 @@
             or if connection has been lost and a reconnection is needed
         """
         if state:
+            log.debug(u"we are synchronised with server")
             if self.AUTO_RESYNC:
                 # we are resynchronising all widgets
+                log.debug(u"doing a full widgets resynchronisation")
                 for w in self.widgets:
                     try:
                         resync = w.resync
@@ -468,8 +470,11 @@
                         pass
                     else:
                         resync()
+                self.contact_lists.fill()
+
             self._sync = state
         else:
+            log.debug(u"we have lost synchronisation with server")
             self._sync = state
             # we've lost synchronisation, all widgets must be notified
             # note: this is always called independently of AUTO_RESYNC