ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Noux: fix SYSCALL_READ return value

Browse Source 
There is an error if reading from a Io_channel returns -1. In this
case the syscall should fail.

Fixes #356.
This commit is contained in:
Josef Söntgen 2012-09-13 16:28:04 +02:00 committed by Norman Feske
parent 97308f963a
commit 83dd1640fc
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ports/src/noux/main.cc
View File

@ -163,6 +163,9 @@ bool Noux::Child::syscall(Noux::Session::Syscall sc)
_block_for_io_channel(io);
io->read(_sysio);
if (_sysio->read_out.count == -1)
return false;
return true;
}