| changeset 695 | f378fe028f6c |
| parent 617 | 7c23fac40a2a |
| child 745 | 96dd6650854d |
| 694:fb55fbee202c | 695:f378fe028f6c |
|---|---|
73 |
73 |
74 void PLC_task_proc(void *arg) |
74 void PLC_task_proc(void *arg) |
75 { |
75 { |
76 PLC_SetTimer(Ttick, Ttick); |
76 PLC_SetTimer(Ttick, Ttick); |
77 |
77 |
78 while (1) { |
78 while (!PLC_shutdown) { |
79 PLC_GetTime(&__CURRENT_TIME); |
79 PLC_GetTime(&__CURRENT_TIME); |
80 __run(); |
80 __run(); |
81 if (PLC_shutdown) break; |
81 if (PLC_shutdown) break; |
82 rt_task_wait_period(NULL); |
82 rt_task_wait_period(NULL); |
83 } |
83 } |