diff --git a/Code/MP2-generator.rig b/Code/MP2-generator.rig index 272d282f0b54e44d9752ccd3156991ef61bef89f..a2bd91120e2f3f911db72d7b2783adcf2465fcfe 100755 --- a/Code/MP2-generator.rig +++ b/Code/MP2-generator.rig @@ -296,6 +296,7 @@ GEN<< ' }'; GEN<< ' catch(Traversal_result t){'; + #sync_state_asynchronous_coordination_on_failure($asynchronous_source_count); GEN<< ' return failed;'; GEN<< ' }'; @@ -821,6 +822,17 @@ GEN<< ' make_equality_complete(' $v1 ',' $v2 ');'/ ;; /GEN<< ' ' $work_num_var '+=' $step '; };'; GEN<< ' //' end FOR_loop/ ## + +#sync_state_asynchronous_coordination_on_failure + 0 // ;; + 1 /GEN<< ' source[ 0 ]->previous_Traversal_result = failed;'/ + ;; + $asynchronous_source_plus_one + /GEN<< ' source[' $asynchronous_source_plus_one - 1 ']->previous_Traversal_result = failed;'; + #sync_state_asynchronous_coordination_on_failure($asynchronous_source_plus_one - 1)/ +## + + --============================================================= %INCLUDE expr_gen.rig %INCLUDE MP4_attributes.rig