From 6045277cca8820301501cf0c06c2529d8dfff93b Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 4 Jul 2018 17:45:52 +0200 Subject: [PATCH] noux: fix compile warning --- repos/ports/src/noux/terminal_io_channel.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/src/noux/terminal_io_channel.h b/repos/ports/src/noux/terminal_io_channel.h index e4f3ef165e..72a509aa91 100644 --- a/repos/ports/src/noux/terminal_io_channel.h +++ b/repos/ports/src/noux/terminal_io_channel.h @@ -227,7 +227,7 @@ struct Noux::Terminal_io_channel : Io_channel { /* respond to terminal-close event */ Terminal::Session::Size const size = _terminal.size(); - if (_terminal.size().columns()*_terminal.size().lines() == 0) + if (size.columns()*size.lines() == 0) read_buffer.add(EOF); Io_channel::invoke_all_interrupt_handlers(Sysio::SIG_WINCH);