equal
deleted
inserted
replaced
115 pthread_mutex_init(&python_mutex, NULL); |
115 pthread_mutex_init(&python_mutex, NULL); |
116 |
116 |
117 pthread_mutex_lock(&debug_wait_mutex); |
117 pthread_mutex_lock(&debug_wait_mutex); |
118 pthread_mutex_lock(&python_wait_mutex); |
118 pthread_mutex_lock(&python_wait_mutex); |
119 |
119 |
120 timer_create (CLOCK_REALTIME, &sigev, &PLC_timer); |
120 timer_create (CLOCK_MONOTONIC, &sigev, &PLC_timer); |
121 if( __init(argc,argv) == 0 ){ |
121 if( __init(argc,argv) == 0 ){ |
122 PLC_SetTimer(common_ticktime__,common_ticktime__); |
122 PLC_SetTimer(common_ticktime__,common_ticktime__); |
123 |
123 |
124 /* install signal handler for manual break */ |
124 /* install signal handler for manual break */ |
125 signal(SIGINT, catch_signal); |
125 signal(SIGINT, catch_signal); |