diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-09 16:37:31 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-10 15:35:11 +0200 |
| commit | 96145726e0fc4060b4ebc86a6a06786aad696e85 (patch) | |
| tree | 26708976404a66c419f8fc3e4dcee274fbefe46a /bbot/agent/machine.hxx | |
| parent | c63815eb8a8e60ee615182348106a7be1b5e2f18 (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 |