@ -401,6 +401,7 @@ void AbortServer(void) __attribute__((noreturn));
void
AbortServer(void)
{
CloseWellKnownConnections();
OsCleanup(TRUE);
CloseDownDevices();
AbortDDX();
The note is not visible to the blocked user.