log sat/tools/async_trigger.py @ 2916:0b9faea5cb58

age author description
2019-01-12 Goffi date update
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