force flush
authorJean-Philippe Orsini <jeanfi@gmail.com>
Thu, 10 May 2012 15:18:09 +0000 (15:18 +0000)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Thu, 10 May 2012 15:18:09 +0000 (15:18 +0000)
commitd44789915e0daa807138eaa8313e50808344e472
tree7ea4d63304429b3aaadb1864ed68eef8e3f6450e
parent1b5e970c9fa6bda525f8c8ab5d2ea001084c7db7
force flush
src/log.c