Updated GC interval (no longer every 10s, but 5 minutes)

hybrid_server/classes/mvkcontroller.xml

@@ -320,7 +320,7 @@
                             </script>
                             <raise scope="broad" event="resume_task"/>
                         </onentry>
-                        <transition after="self.sccd_yield() + 10" target="."/>
+                        <transition after="self.sccd_yield() + 300" target="."/>
                     </state>
                 </state>
             </parallel>

wrappers/modelverse_SCCD.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
 
-Date:   Tue May 22 11:57:59 2018
+Date:   Tue May 22 12:02:05 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server