log sat/tools/async_trigger.py @ 2722:14e1db0c1383

age author description
2018-08-11 Goffi tools (trigger, async_trigger): added no_cancel argument to point and asyncPoint when a trigger must not be cancellable
2018-07-29 Goffi core: added async TriggerManager