# HG changeset patch
# User Michael I. Bushnell <mib@gnu.org>
# Date 726525374 0
# Node ID dbb15c2c5823ef584eda6f314c87ed24c1ad9437
# Parent  d505599b0438b7580c2247aa1bdd849544b6025a
timer.c (notify): Flush stdout after writing message to avoid lossage
on terminals.

diff -r d505599b0438 -r dbb15c2c5823 lib-src/=timer.c
--- a/lib-src/=timer.c	Fri Jan 08 20:33:12 1993 +0000
+++ b/lib-src/=timer.c	Fri Jan 08 20:36:14 1993 +0000
@@ -131,6 +131,7 @@
     if (ep->reply_at <= now)
       {
 	fputs (ep->token, stdout);
+	putc ('\n', stdout);
 	fflush (stdout);
 	free (ep->token);