1 files changed, 1 insertions, 0 deletions
diff --git a/os/log.c b/os/log.c
index 9b0a77fda..97b98f0ec 100644
--- a/os/log.c
+++ b/os/log.c
@@ -401,6 +401,7 @@ void AbortServer(void) __attribute__((noreturn));
 void
 AbortServer(void)
 {
+    CloseWellKnownConnections();
     OsCleanup(TRUE);
     CloseDownDevices();
     AbortDDX();