From 8e38340b3aa6761fbc58066204cb88cbb157dc82 Mon Sep 17 00:00:00 2001
From: emanuel <vieira.e@ua.pt>
Date: Fri, 5 May 2023 14:47:47 +0100
Subject: [PATCH] Close EDM apps sock on shutdown

---
 src/facilities.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/facilities.c b/src/facilities.c
index e2aaed4..54fe63f 100644
--- a/src/facilities.c
+++ b/src/facilities.c
@@ -600,6 +600,9 @@ cleanup:
     pthread_join(facilities.transmitting, NULL);
     if (facilities.coordination.active)
         pthread_join(facilities.vc_service, NULL);
+    if (facilities.edm.enabled) {
+        itss_0close(facilities.edm.app_socket);
+    }
 
     itss_0close(security_socket);
     for (int i = 0; i < facilities.zmq.n_responders; ++i) {