working around batch mode command errors

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> There's no try/catch mechanism in the CLI unfortunately, but I
Pedro> think you could come up with one in python gdb.  ISTR Tromey had
Pedro> a python command wrapper that swallows CLI errors?

Yeah, http://www.sourceware.org/ml/gdb/2010-06/msg00100.html

There's a more full-blown try/catch implementation in bugzilla.
That one isn't in Python.  I don't know why it never went in.

This seems to be a frequently requested feature.

Tom