Merge remote-tracking branch 'origin/develop' into NR_coreset_harmonization

2022-05-18 11:41:07 +02:00
parent 2bbfe501c2 5bf454c78b
commit 1e4f509805
146 changed files with 6515 additions and 2516 deletions
@@ -450,6 +450,7 @@ extern "C" {
  void itti_wait_tasks_end(void) {
    shutting_down = false;
    signal(SIGTERM, catch_sigterm);
+    //signal(SIGINT, catch_sigterm);
    while (! shutting_down)
    {
      sleep(24 * 3600);