diff sat_frontends/jp/output_xml.py @ 3698:a806dcad6bfc

core: don't callback `self.conn_deferred` if already called: if the connection has been lost (e.g. forced disconnection by server), `self.conn_deferred` may have already been called, thus this is now checked to avoid an exception.
author Goffi <goffi@goffi.org>
date Thu, 04 Nov 2021 18:27:36 +0100 (2021-11-04)
parents f4c02bdb2d91
children 4b842c1fb686
line wrap: on
line diff