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