comparison doc/conf.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
parents 4705f80b6e23
children 62e81b1058f8
comparison
equal deleted inserted replaced
3697:842b522d525e 3698:a806dcad6bfc