diff frontends/src/quick_frontend/quick_profile_manager.py @ 1759:81923b3f8b14

plugin XEP-0065: better handling of finished Deferred
author Goffi <goffi@goffi.org>
date Thu, 17 Dec 2015 22:38:00 +0100
parents 1c5761cb1bdc
children d17772b0fe22
line wrap: on
line diff