84c84
< if (!_suspended) {
---
> if (!_suspended && !_terminated) {
105c105
< if (_suspended) {
---
> if (_suspended && !_terminated) {
127c127,128
< _disabled = true;
---
> if (!_terminated)
> _disabled = true;
137c138,139
< _disabled = false;
---
> if (!_terminated)
> _disabled = false;
152,153c154,155
< // If we're in the middle of unwinding, ignore the kill request.
< if (_isUnwinding)
---
> // If we're unwinding or terminated, ignore the kill request.
> if (_isUnwinding || _terminated)
180,181c182,183
< // If we're in the middle of unwinding, ignore the reset request.
< if (_isUnwinding)
---
> // If we're already unwinding or terminated, ignore the reset request.
> if (_isUnwinding || _terminated)