diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-17 12:40:02 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-17 12:40:02 +0200 |
| commit | 5a686c5460e9fbb32af5014d0dbf1169ea301ec2 (patch) | |
| tree | aa219f442926ef4879acb2c14f7eead47f9f3d33 /build2/utility | |
| parent | de09beabe1448e9c6b401ec9acdd69ee5bf0f0e2 (diff) | |
Catch and dump unhandled exceptions in async task functions
The problem with relying on noexcept for this is that there is no stack.
Diffstat (limited to 'build2/utility')
| -rw-r--r-- | build2/utility | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build2/utility b/build2/utility index aec3806..0c129c4 100644 --- a/build2/utility +++ b/build2/utility @@ -10,6 +10,7 @@ #include <string> // to_string() #include <utility> // move(), forward(), declval(), make_pair() #include <cassert> // assert() +#include <cstdlib> // abort() #include <iterator> // make_move_iterator() #include <algorithm> // * #include <functional> // ref(), cref() |