summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-11-20 22:11:25 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-11-20 22:11:25 +0000
commitc1bf62d594ac0dd708670cfd61e8233832ce0836 (patch)
treef7c589f3792ec5abaccf9bda86480e7f5c4552c7
parent84581b57cac943138f344b441f471b4a96328678 (diff)
Formerly timer-emul.c.~7~
-rw-r--r--pfinet/timer-emul.c1
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);
}
}