comparison sat_frontends/jp/loops.py @ 3193:65d89a339dd3

quick frontend (app): avoid crash when a listener is removed while being called
author Goffi <goffi@goffi.org>
date Fri, 28 Feb 2020 10:06:38 +0100
parents 9d0df638c8b4
children be6d91572633
comparison
equal deleted inserted replaced
3192:883fb4981958 3193:65d89a339dd3