python windows: Allow clients to read from server before disconnect.

Wait for clients to read from the pipe before disconnecting the server.

Signed-off-by: Alin Gabriel Serdean <aserdean@cloudbasesolutions.com>
Signed-off-by: Gurucharan Shetty <guru@ovn.org>

python/ovs/stream.py

@@ -233,6 +233,9 @@ class Stream(object):
             self.socket.close()
         if self.pipe is not None:
             if self._server:
+                # Flush the pipe to allow the client to read the pipe
+                # before disconnecting.
+                win32pipe.FlushFileBuffers(self.pipe)
                 win32pipe.DisconnectNamedPipe(self.pipe)
             winutils.close_handle(self.pipe, vlog.warn)
             winutils.close_handle(self._read.hEvent, vlog.warn)