Write in INFO log file the OS signals received by gnss-sdr at runtime

2023-10-02 10:25:10 +02:00 · 2023-10-02 10:25:10 +02:00 · 145db1faa8
parent 8019f067e6
commit 145db1faa8
1 changed files with 1 additions and 0 deletions
--- a/src/core/receiver/control_thread.cc
+++ b/src/core/receiver/control_thread.cc
@ -88,6 +88,7 @@ ControlThread *ControlThread::me = nullptr;
 */
 void ControlThread::handle_signal(int sig)
 {
+    DLOG(INFO) << "GNSS-SDR received " << sig << " OS signal";
    if (sig == SIGINT)
        {
            std::cout << "Stopping GNSS-SDR via SIGINT...\n";