| changeset 801 | 32d146b64a35 |
| parent 793 | 72e9e1064432 |
| 800:f0d16976e46e | 801:32d146b64a35 |
|---|---|
4 #include <pthread.h> |
4 #include <pthread.h> |
5 #include <signal.h> |
5 #include <signal.h> |
6 #include <time.h> |
6 #include <time.h> |
7 |
7 |
8 #include <applicfg.h> |
8 #include <applicfg.h> |
9 #include <timer.h> |
9 #include <timers.h> |
10 |
10 |
11 static pthread_mutex_t CanFestival_mutex = PTHREAD_MUTEX_INITIALIZER; |
11 static pthread_mutex_t CanFestival_mutex = PTHREAD_MUTEX_INITIALIZER; |
12 |
12 |
13 static struct timeval last_sig; |
13 static struct timeval last_sig; |
14 |
14 |