SHARE
TWEET

Untitled

a guest Jul 1st, 2019 68 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. fork : my_checked_task
  2.     my_task();
  3.  
  4.     begin
  5.     wait(error_flag == 1);
  6.     end
  7. join_any
  8. disable my_checked_task;
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top