diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-09 16:37:31 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-09 16:37:31 +0200 |
commit | f76bc9bf7f2b9378102d0d34b12987170b5ae3ef (patch) | |
tree | 20e09e59c1fc0c5317337409d3e81a9eba315dbf /bbot/agent/machine.hxx | |
parent | 355fb2bf20af05ccd885279db26f9ccce669dd13 (diff) |
Don't fail hard if we were unable to suspend machine
Diffstat (limited to 'bbot/agent/machine.hxx')
-rw-r--r-- | bbot/agent/machine.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bbot/agent/machine.hxx b/bbot/agent/machine.hxx index e352e42..b72e846 100644 --- a/bbot/agent/machine.hxx +++ b/bbot/agent/machine.hxx @@ -36,7 +36,7 @@ namespace bbot // Suspend the machine. // virtual void - suspend () = 0; + suspend (bool fail_hard = true) = 0; // Wait for the machine to terminate up to the specified number of // seconds. Update the timeout and return false if the machine is still |