|
@@ -298,7 +298,11 @@
|
|
|
</state>
|
|
|
</state>
|
|
|
|
|
|
- <state id="mvs_GC" initial="suspend_tasks">
|
|
|
+ <state id="mvs_GC" initial="waiting">
|
|
|
+ <state id="waiting">
|
|
|
+ <transition after="self.sccd_yield() + 600" target="../suspend_tasks"/>
|
|
|
+ </state>
|
|
|
+
|
|
|
<state id="suspend_tasks">
|
|
|
<onentry>
|
|
|
<raise scope="broad" event="pause_task"/>
|
|
@@ -321,7 +325,7 @@
|
|
|
</script>
|
|
|
<raise scope="broad" event="resume_task"/>
|
|
|
</onentry>
|
|
|
- <transition after="self.sccd_yield() + 600" target="."/>
|
|
|
+ <transition target="../waiting"/>
|
|
|
</state>
|
|
|
</state>
|
|
|
</parallel>
|