From 38097c49868ba81944816a6c99a2fd84fc29e347 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Wed, 30 Dec 2015 10:21:18 +0100
Subject: [PATCH] client: Clear pending interrupt on stdin EOF

The client can send an interrupt cookie after the EOF cookie.
Harmless, as the server throws away input after the EOF cookie.  Clean
it up anyway.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
---
 src/client/play.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/client/play.c b/src/client/play.c
index 9881622f..bc7f629b 100644
--- a/src/client/play.c
+++ b/src/client/play.c
@@ -543,6 +543,7 @@ play(int sock)
 		    eof_fd0 = 1;
 		    sa.sa_handler = SIG_DFL;
 		    sigaction(SIGINT, &sa, NULL);
+		    send_intr = 0;
 		}
 	    } else
 		partial_line_sent = ring_peek(&inbuf, -1) != '\n';