From 145db1faa855663bba6e29a19f0581e8ff3dc8d2 Mon Sep 17 00:00:00 2001
From: Javier Arribas <javiarribas@gmail.com>
Date: Mon, 2 Oct 2023 10:25:10 +0200
Subject: [PATCH] Write in INFO log file the OS signals received by gnss-sdr at
 runtime

---
 src/core/receiver/control_thread.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/receiver/control_thread.cc b/src/core/receiver/control_thread.cc
index 371fb1776..9e954bb3f 100644
--- 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";