diff options
Diffstat (limited to '072scheduler.cc')
| -rw-r--r-- | 072scheduler.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/072scheduler.cc b/072scheduler.cc index 068e1617..de5f5ca5 100644 --- a/072scheduler.cc +++ b/072scheduler.cc @@ -229,10 +229,13 @@ def f2 [ //: more complex: refcounting management when starting up new routines :(scenario start_running_immediately_updates_refcounts_of_ingredients) +% Scheduling_interval = 1; def main [ local-scope create-new-routine - switch # make sure we run new routine before returning + # padding to make sure we run new-routine before returning + dummy:number <- copy 0 + dummy:number <- copy 0 ] def create-new-routine [ local-scope |