log sat/tools/async_trigger.py @ 2666:bc122b68eacd

age author description
Sat, 11 Aug 2018 18:24:52 +0200 Goffi tools (trigger, async_trigger): added no_cancel argument to point and asyncPoint when a trigger must not be cancellable
Sun, 29 Jul 2018 19:22:51 +0200 Goffi core: added async TriggerManager