Closed muffins closed 6 years ago
Windows clients weren't disconnecting correctly, they should simply CloseHandle. The DisconnectNamedPipe is only for the servers to ensure that subsequent connections go through.
CloseHandle
DisconnectNamedPipe
This didn't seem to work out correctly, we're breaking python extension runs now.
Windows clients weren't disconnecting correctly, they should simply
CloseHandle
. TheDisconnectNamedPipe
is only for the servers to ensure that subsequent connections go through.