From e63ef549bb7a2591d99987c85f414c08dbbf9a6b 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() (cherry picked
 from commit d72cd753b99fae147ef4c189700fc697f1ea7fb0)

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

diff --git a/os/log.c b/os/log.c
index 0860847ec..ee14624dc 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();