changeset 2102:071423b3a413

quick frontend (quick app): fixed use of profile_manager.connected
author Goffi <goffi@goffi.org>
date Tue, 20 Dec 2016 21:07:22 +0100
parents cba3323710f0
children b44558286bbb
files frontends/src/quick_frontend/quick_app.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/frontends/src/quick_frontend/quick_app.py	Tue Dec 20 21:06:42 2016 +0100
+++ b/frontends/src/quick_frontend/quick_app.py	Tue Dec 20 21:07:22 2016 +0100
@@ -908,7 +908,7 @@
         """Must be called when the frontend is terminating"""
         to_unplug = []
         for profile, profile_manager in self.profiles.iteritems():
-            if profile_manager.connected(profile) and profile_manager.autodisconnect:
+            if profile_manager.connected and profile_manager.autodisconnect:
                 #The user wants autodisconnection
                 self.disconnect(profile)
             to_unplug.append(profile)