From d72cd753b99fae147ef4c189700fc697f1ea7fb0 Mon Sep 17 00:00:00 2001
From: Matthieu Herrb <matthieu.herrb@laas.fr>
Date: Tue, 21 Oct 2008 22:32:57 +0200
Subject: [PATCH] Close well known connections in ServerAbort()

---
 os/log.c | 1 +
 1 file changed, 1 insertion(+)

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();