Close EDM apps sock on shutdown

2023-05-05 14:47:47 +01:00 · 2023-05-05 14:47:47 +01:00 · 8e38340b3a
parent f012e964ca
commit 8e38340b3a
1 changed files with 3 additions and 0 deletions
--- 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) {