Checkpoint synchronization: Difference between revisions
Content added Content deleted
m (→{{header|Phix}}: bugfix) |
|||
Line 2,161: | Line 2,161: | ||
waiters &= task_id |
waiters &= task_id |
||
task_suspend(task_id) |
task_suspend(task_id) |
||
task_yield() |
|||
end if |
end if |
||
end procedure |
end procedure |