Close well known connections in ServerAbort()

(cherry picked from commit d72cd753b9)
This commit is contained in:
Matthieu Herrb 2008-10-21 22:32:57 +02:00 committed by Adam Jackson
parent 5d14e34541
commit e63ef549bb

View file

@ -401,6 +401,7 @@ void AbortServer(void) __attribute__((noreturn));
void
AbortServer(void)
{
CloseWellKnownConnections();
OsCleanup(TRUE);
CloseDownDevices();
AbortDDX();