Flush stdout and stderr during hs_exit() (#5594)
authorSimon Marlow <marlowsd@gmail.com>
Mon, 7 Nov 2011 15:24:00 +0000 (15:24 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 8 Nov 2011 13:25:33 +0000 (13:25 +0000)
commit2babc2a527533a67a59cb62782e80292f689fa10
treefac47b8dd259cacb2f71da2d57d7a2c31077d4b3
parent81e29e42d6eea1f1e54cbec698aa1fdf3c6fb7f7
Flush stdout and stderr during hs_exit() (#5594)

Ensures that these handles are flushed even when the RTS is being used
as a library, with no main.

Needs a corresponding change to libraries/base.
rts/Prelude.h
rts/RtsStartup.c