# HG changeset patch
# User Edouard Tisserant
# Date 1331070176 -3600
# Node ID 513c66e64b8ec564d9754e33d718f720bc6fd77f
# Parent  f378fe028f6cb5b90fceb4db3d5d564d3ebbf807# Parent  3e83853081d48144b29bfbefcd0ab9b80ab35c42
merge

diff -r 3e83853081d4 -r 513c66e64b8e targets/Xenomai/plc_Xenomai_main.c
--- a/targets/Xenomai/plc_Xenomai_main.c	Mon Mar 05 12:02:20 2012 +0100
+++ b/targets/Xenomai/plc_Xenomai_main.c	Tue Mar 06 22:42:56 2012 +0100
@@ -75,7 +75,7 @@
 {
     PLC_SetTimer(Ttick, Ttick);
 
-    while (1) {
+    while (!PLC_shutdown) {
         PLC_GetTime(&__CURRENT_TIME);
         __run();
         if (PLC_shutdown) break;