diff options
| -rw-r--r-- | pfinet/glue-include/linux/sched.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pfinet/glue-include/linux/sched.h b/pfinet/glue-include/linux/sched.h index 5cf2f1b6..e39263e5 100644 --- a/pfinet/glue-include/linux/sched.h +++ b/pfinet/glue-include/linux/sched.h @@ -185,6 +185,9 @@ schedule_timeout (long timeout) else return 0; } + /* It may happen that we get woken without a signal. Noticed notably during + rsyslog testsuite. Make sure we don't leave our timer in. */ + del_timer(&timer); return 0; } |