[profiler] Fix dump_header () to do fflush () in all non-gzip code paths.
authorAlex Rønne Petersen <alexrp@xamarin.com>
Wed, 31 Aug 2016 19:12:16 +0000 (21:12 +0200)
committerAlex Rønne Petersen <alexrp@xamarin.com>
Wed, 31 Aug 2016 22:34:25 +0000 (00:34 +0200)
commit5f419ae4890b316c15bc6dd735abd94e84b8c636
treec87317e5eb25ce3b7d50acd458dc8ebf96ac1160
parentcd34142b774ec20433f9a74f3a3dc4091e2513c3
[profiler] Fix dump_header () to do fflush () in all non-gzip code paths.
mono/profiler/proflog.c