Add sleep time between piped_processt::send retries on Windows

thomasspriggs · thomasspriggs · commit f343922238ae · 2022-02-16T14:22:35.000Z
To give the sub process more time to read from the pipe.
diff --git a/src/util/piped_process.cpp b/src/util/piped_process.cpp
@@ -372,6 +372,7 @@ piped_processt::send_responset piped_processt::send(const std::string &message)
       break;
     // Give the sub-process chance to read the waiting message(s).
     FlushFileBuffers(child_std_IN_Wr);
+    Sleep(1 << send_attempts);
   }
   INVARIANT(
     message_size == bytes_written,

Original file line number	Diff line number	Diff line change
`@@ -372,6 +372,7 @@ piped_processt::send_responset piped_processt::send(const std::string &message)`
`372`	`372`	`break;`
`373`	`373`	`// Give the sub-process chance to read the waiting message(s).`
`374`	`374`	`FlushFileBuffers(child_std_IN_Wr);`
	`375`	`+ Sleep(1 << send_attempts);`
`375`	`376`	`}`
`376`	`377`	`INVARIANT(`
`377`	`378`	`message_size == bytes_written,`