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

diff -r 341d551a3411 -r 7c4fc10fde41 lib-src/=timer.c
--- a/lib-src/=timer.c	Fri Jan 08 15:30:08 1993 +0000
+++ b/lib-src/=timer.c	Fri Jan 08 20:26:54 1993 +0000
@@ -131,6 +131,7 @@
     if (ep->reply_at <= now)
       {
 	fputs (ep->token, stdout);
+	fflush (stdout);
 	free (ep->token);
 
 	/* We now have a hole in the event array; fill it with the last