knielsen@ymer.(none) db649ad5d1 Bug #29543 GCov information not written in case of crash. ...

For GCov builds, if the server crashes, the normal exit handler for writing
coverage information is not executed due to the abnormal termination.

Fix this by explicitly calling the __gcov_flush function in our crash handler.

2007-07-07 07:46:17 +02:00

6.7 KiB

Raw Blame History

View Raw