diff options
author | p01arst0rm <polar@ever3st.com> | 2020-06-17 03:15:47 +0100 |
---|---|---|
committer | p01arst0rm <polar@ever3st.com> | 2020-06-17 03:15:47 +0100 |
commit | c9d06558b6cfb30cb6ad7d872ec1046434645b3b (patch) | |
tree | 58602440ad4ccd3b60c309ff27f692b33210dde5 /src/libutil/util.cc | |
parent | 29542865cee37ab22efe1bd142900b69f6c59f0d (diff) |
replaced uncaught_exception with uncaught_exceptions
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 667dd2edb..6ca9013a4 100644 --- a/src/libutil/util.cc +++ b/src/libutil/util.cc @@ -1199,7 +1199,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"); } |