# HG changeset patch
# User Edouard Tisserant
# Date 1330015511 -3600
# Node ID f378fe028f6cb5b90fceb4db3d5d564d3ebbf807
# Parent  fb55fbee202c2c54a1c227bfb879cb16493910ab
Fixed stopping crash in some cases

diff -r fb55fbee202c -r f378fe028f6c targets/Xenomai/plc_Xenomai_main.c
--- a/targets/Xenomai/plc_Xenomai_main.c	Tue Feb 21 22:36:35 2012 +0100
+++ b/targets/Xenomai/plc_Xenomai_main.c	Thu Feb 23 17:45:11 2012 +0100
@@ -75,7 +75,7 @@
 {
     PLC_SetTimer(Ttick, Ttick);
 
-    while (1) {
+    while (!PLC_shutdown) {
         PLC_GetTime(&__CURRENT_TIME);
         __run();
         if (PLC_shutdown) break;