Yinan Zhang ad3f7dbfa0 Buffer prof_log_stop
Make use of the new buffered writer for the output of `prof_log_stop`.
2019-08-12 09:06:01 -07:00
..
2018-11-14 08:44:05 -08:00
2018-11-14 08:44:05 -08:00
2018-08-09 13:16:54 -07:00
2019-08-12 09:06:01 -07:00