Dmitry Vyukov 3d48fa5a53 executor: log failure in write_file
Almost all callers of write_file just log the failure.
Log the failure in write_file directly to remove
lots of "error handling" code.
2018-12-29 19:22:34 +01:00
..
2018-02-10 12:14:13 +01:00
2018-07-24 12:04:27 +02:00
2018-07-24 12:04:27 +02:00
2018-08-28 10:07:26 -07:00
2017-02-01 10:16:19 +01:00
2018-07-24 12:04:27 +02:00
2018-07-24 12:04:27 +02:00