Vicente J. Botet Escriba 532d215de9 Make serial_executor_cont copyable, and fix it: reschedule_until and try_executing_one must return false, as a serial executor can not re-enter.

2015-02-21 12:26:40 +01:00

2.6 KiB

Raw Blame History

View Raw