def __exit__(self, *a):
# Quit UI application.
if self.app.is_running:
self.app.set_result(None)
# Remove WINCH handler.
if self._has_sigwinch:
self._loop.add_signal_handler(signal.SIGWINCH, self._previous_winch_handler)
self._thread.join()
评论列表
文章目录