Flush stdout in mono_print_method_from_ip () to make debugging on windows a bit easier.

diff --git a/mono/mini/mini.c b/mono/mini/mini.c
index ea2c423ab4aa5e555e707df8961af4a3635250f4..c50c35970f67669446a4416508495e5160ab5d46 100644 (file)
--- a/mono/mini/mini.c
+++ b/mono/mini/mini.c
@@ -376,6 +376,7 @@ mono_print_method_from_ip (void *ip)
                }
                else
                        g_print ("No method at %p\n", ip);
+               fflush (stdout);
                return;
        }
        method = mono_method_full_name (ji->method, TRUE);
@@ -385,6 +386,7 @@ mono_print_method_from_ip (void *ip)
 
        if (source)
                g_print ("%s:%d\n", source->source_file, source->row);
+       fflush (stdout);
 
        mono_debug_free_source_location (source);
        g_free (method);