diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-11-20 22:11:25 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-20 22:11:25 +0000 |
| commit | c1bf62d594ac0dd708670cfd61e8233832ce0836 (patch) | |
| tree | f7c589f3792ec5abaccf9bda86480e7f5c4552c7 | |
| parent | 84581b57cac943138f344b441f471b4a96328678 (diff) | |
Formerly timer-emul.c.~7~
| -rw-r--r-- | pfinet/timer-emul.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pfinet/timer-emul.c b/pfinet/timer-emul.c index 82abfd9d..af1469ef 100644 --- a/pfinet/timer-emul.c +++ b/pfinet/timer-emul.c @@ -111,6 +111,7 @@ add_timer (struct timer_list *timer) thread_suspend (timer_thread); thread_abort (timer_thread); + thread_resume (timer_thread); } } |