]> git.pond.sub.org Git - empserver/commit
client: Clear pending interrupt on stdin EOF
authorMarkus Armbruster <armbru@pond.sub.org>
Wed, 30 Dec 2015 09:21:18 +0000 (10:21 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 6 Aug 2017 09:22:29 +0000 (11:22 +0200)
commit38097c49868ba81944816a6c99a2fd84fc29e347
tree906ebe254a1da19bd509c3541a1d6be0179d4380
parent3135cd39c31cb82714fb8424ba48897cf74af6dd
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