diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-09-18 12:02:50 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-09-18 12:02:50 +0200 |
| commit | 092ee246277c76cd80f34088911419058e8b0f2f (patch) | |
| tree | ba0005dc8c0f5bee682d81e753f44341fad7a4d0 /src/libutil/util.cc | |
| parent | a25c022af3fa0a35be406942869edae1bdff2cf8 (diff) | |
| parent | c6a0f4c393c9704821bda973db1bf4c449354b32 (diff) | |
Merge remote-tracking branch 'origin/master' into flakes
Diffstat (limited to 'src/libutil/util.cc')
| -rw-r--r-- | src/libutil/util.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libutil/util.cc b/src/libutil/util.cc index 98a7ea397..89a75b3d4 100644 --- a/src/libutil/util.cc +++ b/src/libutil/util.cc @@ -1196,7 +1196,7 @@ void _interrupted() /* Block user interrupts while an exception is being handled. Throwing an exception while another exception is being handled kills the program! */ - if (!interruptThrown && !std::uncaught_exception()) { + if (!interruptThrown && !std::uncaught_exceptions()) { interruptThrown = true; throw Interrupted("interrupted by the user"); } |