ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Noux: close stdio at exit 

Close the stdin, stdout, and stderr I/O channels at child exit. This
serves to flush buffers at the I/O resources which might not be written
otherwise.

Ref #2919
This commit is contained in:
Ehmry - 2018-09-10 17:20:59 +02:00 committed by Christian Helmuth
parent 7e7cb15bd1
commit 86ee1b7448
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/ports/src/noux/main.cc
View File

@ -278,8 +278,12 @@ struct Noux::Main
_destruct_queue.flush();
/* let noux exit if the init process exited */
if (!init_child)
if (!init_child) {
_channel_0 = Shared_pointer<Io_channel>();
_channel_1 = Shared_pointer<Io_channel>();
_channel_2 = Shared_pointer<Io_channel>();
_env.parent().exit(exit_value);
}
}
struct Kill_broadcaster_impl: Kill_broadcaster