# HG changeset patch
# User reimar
# Date 1263137834 0
# Node ID 057c8193f4d3ac348f89c44f1a9c24fc472da6e2
# Parent  f08c45c46433372b28423d8871f0db1463e66f07
Avoid excessive fflush in dbgprintf if we didn't even print anything.
Patch by Steinar H. Gunderson [sgunderson bigfoot com]

diff -r f08c45c46433 -r 057c8193f4d3 loader/win32.c
--- a/loader/win32.c	Sun Jan 10 15:31:45 2010 +0000
+++ b/loader/win32.c	Sun Jan 10 15:37:14 2010 +0000
@@ -208,8 +208,8 @@
 	vprintf(fmt, va);
 //	mp_dbg(MSGT_WIN32, MSGL_DBG3, fmt, va);
 	va_end(va);
+	fflush(stdout);
     }
-  fflush(stdout);
 }