diff options
| author | Bastian Bloessl <mail@bastibl.net> | 2019-08-27 18:18:51 +0200 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2019-09-05 13:14:21 +0200 |
| commit | b6cba4632feac9c43672bce863c7652abe5ae03d (patch) | |
| tree | 2e9d2f47bfa0cae78140d397a13a4019e46ceebd | |
| parent | cb4c62961846d501e075447919f56fc85b5bfee6 (diff) | |
runtime: indicate that destructor of local_sighandler might throw
| -rw-r--r-- | gnuradio-runtime/lib/local_sighandler.cc | 2 | ||||
| -rw-r--r-- | gnuradio-runtime/lib/local_sighandler.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/gnuradio-runtime/lib/local_sighandler.cc b/gnuradio-runtime/lib/local_sighandler.cc index 97491b24de..ffeaa9068b 100644 --- a/gnuradio-runtime/lib/local_sighandler.cc +++ b/gnuradio-runtime/lib/local_sighandler.cc @@ -49,7 +49,7 @@ local_sighandler::local_sighandler(int signum, void (*new_handler)(int)) #endif } -local_sighandler::~local_sighandler() +local_sighandler::~local_sighandler() noexcept(false) { #ifdef HAVE_SIGACTION if (sigaction(d_signum, &d_old_action, 0) < 0) { diff --git a/gnuradio-runtime/lib/local_sighandler.h b/gnuradio-runtime/lib/local_sighandler.h index 688d43c287..4d9558f1b0 100644 --- a/gnuradio-runtime/lib/local_sighandler.h +++ b/gnuradio-runtime/lib/local_sighandler.h @@ -49,7 +49,7 @@ private: public: local_sighandler(int signum, void (*new_handler)(int)); - ~local_sighandler(); + ~local_sighandler() noexcept(false); /* throw gr_signal (signum) */ static void throw_signal(int signum); |