# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1482264442 -3600
# Node ID 071423b3a41398450f5b59cd2bedeabbb0b4a895
# Parent  cba3323710f04abb219fde296be4f601e3284bab
quick frontend (quick app): fixed use of profile_manager.connected

diff -r cba3323710f0 -r 071423b3a413 frontends/src/quick_frontend/quick_app.py
--- 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)