--- 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;