# HG changeset patch
# User laurent
# Date 1331499615 -3600
# Node ID b0a7abd50b09a2c4dacac6aef0937f5784e3a647
# Parent  513c66e64b8ec564d9754e33d718f720bc6fd77f# Parent  6ff64cadb1ffa0a2ecde7eacb384e37420b070c4
merge

diff -r 6ff64cadb1ff -r b0a7abd50b09 targets/Xenomai/plc_Xenomai_main.c
--- a/targets/Xenomai/plc_Xenomai_main.c	Sun Mar 11 19:42:14 2012 +0100
+++ b/targets/Xenomai/plc_Xenomai_main.c	Sun Mar 11 22:00:15 2012 +0100
@@ -75,7 +75,7 @@
 {
     PLC_SetTimer(Ttick, Ttick);
 
-    while (1) {
+    while (!PLC_shutdown) {
         PLC_GetTime(&__CURRENT_TIME);
         __run();
         if (PLC_shutdown) break;