summaryrefslogtreecommitdiff
path: root/os
diff options
context:
space:
mode:
authorMatthieu Herrb <matthieu.herrb@laas.fr>2008-10-21 22:32:57 +0200
committerMatthieu Herrb <matthieu.herrb@laas.fr>2008-10-21 22:36:21 +0200
commitd72cd753b99fae147ef4c189700fc697f1ea7fb0 (patch)
tree3fa9c38d356ff04a3a0c7d6197d88179e1cf4f95 /os
parent81e197b2a5457bb9f7ed72f82c2d33fd8dbfc202 (diff)
Close well known connections in ServerAbort()
Diffstat (limited to 'os')
-rw-r--r--os/log.c1
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();