patch 7.4.2282
Problem: When a child process is very fast waiting 10 msec for it is
noticeable. (Ramel Eshed)
Solution: Start waiting for 1 msec and gradually increase.
diff --git a/src/os_unix.c b/src/os_unix.c
index d5c5d84..941e8e8 100644
--- a/src/os_unix.c
+++ b/src/os_unix.c
@@ -3934,6 +3934,7 @@
wait4pid(pid_t child, waitstatus *status)
{
pid_t wait_pid = 0;
+ long delay_msec = 1;
while (wait_pid != child)
{
@@ -3948,8 +3949,10 @@
# endif
if (wait_pid == 0)
{
- /* Wait for 10 msec before trying again. */
- mch_delay(10L, TRUE);
+ /* Wait for 1 to 10 msec before trying again. */
+ mch_delay(delay_msec, TRUE);
+ if (++delay_msec > 10)
+ delay_msec = 10;
continue;
}
if (wait_pid <= 0
@@ -4929,6 +4932,8 @@
# if defined(FEAT_XCLIPBOARD) && defined(FEAT_X11)
else
{
+ long delay_msec = 1;
+
/*
* Similar to the loop above, but only handle X events, no
* I/O.
@@ -4961,7 +4966,11 @@
/* Handle any X events, e.g. serving the clipboard. */
clip_update();
- mch_delay(10L, TRUE);
+ /* Wait for 1 to 10 msec. 1 is faster but gives the child
+ * less time. */
+ mch_delay(delay_msec, TRUE);
+ if (++delay_msec > 10)
+ delay_msec = 10;
}
}
# endif