Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -221,8 +221,16 @@ 221 221 else(true) 222 222 |B| 223 223 :actor.postProcess(); 224 +|A| 224 224 endif 226 +while(actor.canFinish()) is (false) 225 225 :actor.finish(); 228 +endwhile(true) 229 +fork 230 + :actor.stop(); 231 +fork 232 + :env.stop(); 233 +endfork 226 226 227 227 end 228 228