If execute() timed out then the GDB session has become unusable anyway, so immediately close it.
If execute() timed out then the GDB session has become unusable anyway, so immediately close it.

FooBarWidget/crash-watch