Christian Decker
3f79a0e117
log: Flushing logs on every line
...
This is needed for the new testing framework since we wait for
messages to be printed on stdout. Buffering delays this
arbitrarily. Flushing so often should not have much of a performance
impact.
2017-01-23 10:45:36 +10:30
..
2016-01-22 06:37:13 +10:30
2017-01-23 10:22:13 +10:30
2016-01-22 06:41:47 +10:30
2016-11-11 09:32:04 +10:30
2016-11-07 23:00:02 +10:30
2017-01-10 15:19:25 +10:30
2016-11-07 23:01:02 +10:30
2017-01-04 14:09:20 +10:30
2016-09-13 12:40:32 +09:30
2017-01-10 15:19:25 +10:30
2016-08-31 16:06:32 +09:30
2016-10-07 14:00:18 +10:30
2016-10-07 14:00:18 +10:30
2017-01-04 14:09:20 +10:30
2016-08-31 16:06:31 +09:30
2017-01-10 15:19:25 +10:30
2016-12-14 08:43:48 +01:00
2016-11-04 11:17:03 +10:30
2016-01-22 06:41:49 +10:30
2016-12-02 18:12:58 +10:30
2016-12-02 18:12:58 +10:30
2016-08-26 15:31:19 +09:30
2016-11-11 09:32:04 +10:30
2016-11-11 09:32:04 +10:30
2016-08-18 14:25:13 +09:30
2017-01-04 14:07:15 +10:30
2016-11-11 09:32:04 +10:30
2017-01-23 10:22:13 +10:30
2017-01-04 13:18:47 +10:30
2017-01-10 15:18:26 +10:30
2016-09-07 23:49:39 +02:00
2016-12-15 11:49:51 +10:30
2016-12-02 18:12:58 +10:30
2017-01-10 15:18:26 +10:30
2017-01-04 14:08:15 +10:30
2016-11-09 18:56:38 +10:30
2017-01-10 15:18:26 +10:30
2017-01-10 15:18:26 +10:30
2017-01-23 10:45:36 +10:30
2017-01-10 15:18:26 +10:30
2017-01-13 10:51:57 +10:30
2016-11-09 08:04:27 +10:30
2016-11-09 08:04:27 +10:30
2017-01-10 15:19:25 +10:30
2016-08-18 14:25:14 +09:30
2016-11-11 09:32:04 +10:30
2016-08-18 14:25:14 +09:30
2017-01-04 14:09:20 +10:30
2017-01-04 14:09:20 +10:30
2016-08-31 16:06:32 +09:30
2016-08-31 16:06:32 +09:30
2017-01-22 16:19:11 +01:00
2017-01-04 14:09:20 +10:30
2017-01-04 14:09:20 +10:30
2017-01-03 15:08:05 +10:30
2017-01-16 11:14:30 +10:30
2016-11-11 09:32:04 +10:30
2017-01-16 11:14:30 +10:30
2017-01-04 14:09:20 +10:30
2016-11-11 09:32:04 +10:30
2016-07-01 12:00:17 +09:30
2017-01-04 14:08:15 +10:30
2017-01-04 14:09:21 +10:30
2016-12-02 18:12:58 +10:30
2017-01-03 15:08:05 +10:30
2017-01-16 11:14:30 +10:30
2017-01-16 11:14:30 +10:30
2016-11-11 09:32:04 +10:30
2017-01-04 14:09:20 +10:30
2016-11-09 18:56:15 +10:30
2016-11-09 18:53:15 +10:30
2017-01-04 14:08:15 +10:30
2016-11-09 08:04:28 +10:30
2016-11-11 09:32:04 +10:30
2016-11-11 09:32:04 +10:30