| Index: src/trusted/gdb_rsp/host.cc
|
| ===================================================================
|
| --- src/trusted/gdb_rsp/host.cc (revision 3954)
|
| +++ src/trusted/gdb_rsp/host.cc (working copy)
|
| @@ -240,8 +240,9 @@
|
|
|
| // Wait to see if we receive a break
|
| bool Host::WaitForBreak() {
|
| - // We can not wait if we are not running
|
| - if (HS_RUNNING != status_) return false;
|
| + // We can not wait if we are already stopped
|
| + if (HS_RUNNING != status_ &&
|
| + HS_STOPPING != status_) return false;
|
|
|
| Packet rx;
|
| std::string str;
|
|
|