2009-10-13 Zoltan Varga <vargaz@gmail.com>

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

svn path=/trunk/mono/; revision=144035

diff --git a/data/gdb/ChangeLog b/data/gdb/ChangeLog
index 5197ee5b75a7f05264dbfca9a0a64d05b1de4d00..03775d80c28ad5422afcfc72ea44f53753b65b20 100644 (file)
--- a/data/gdb/ChangeLog
+++ b/data/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2009-10-13  Zoltan Varga  <vargaz@gmail.com>
+
+       * mono-gdb.py: Add an 'xdb' command to flush the debugging info.
+
 2009-10-12  Zoltan Varga  <vargaz@gmail.com>
 
        * mono-gdb.py: Update this to gdb 7.0.

diff --git a/data/gdb/mono-gdb.py b/data/gdb/mono-gdb.py
index bde4d588f09a390ec1ef261943d008ea2e043d27..ca0d19e294f29dd5893e0c345114a5ef4c15fe01 100644 (file)
--- a/data/gdb/mono-gdb.py
+++ b/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."