2009-10-13 Zoltan Varga <[email protected]>

	* mono-gdb.py: Add an 'xdb' command to flush the debugging info.

svn path=/branches/mono-2-6/mono/; revision=144036

Author: vargaz

data/gdb/ChangeLog

@@ -1,3 +1,7 @@
+2009-10-13  Zoltan Varga  <[email protected]>
+
+	* mono-gdb.py: Add an 'xdb' command to flush the debugging info.
+
 2009-10-12  Zoltan Varga  <[email protected]>
 
 	* mono-gdb.py: Update this to gdb 7.0.

data/gdb/mono-gdb.py

@@ -189,8 +189,19 @@ def register_csharp_printers(obj):
 
     obj.pretty_printers.append (lookup_pretty_printer)
 
+# This command will flush the debugging info collected by the runtime
+class XdbCommand (gdb.Command):
+    def __init__ (self):
+        super (XdbCommand, self).__init__ ("xdb", gdb.COMMAND_NONE,
+                                           gdb.COMPLETE_COMMAND)
+
+    def invoke(self, arg, from_tty):
+        gdb.execute ("call mono_xdebug_flush ()")
+
 register_csharp_printers (gdb.current_objfile())
 
+XdbCommand ()
+
 gdb.execute ("set environment MONO_XDEBUG gdb")
 
 print "Mono support loaded."