diff --git a/src/os_unix.c b/src/os_unix.c index d5c5d846bb..941e8e899e 100644 --- a/src/os_unix.c +++ b/src/os_unix.c @@ -3934,6 +3934,7 @@ mch_new_shellsize(void) wait4pid(pid_t child, waitstatus *status) { pid_t wait_pid = 0; + long delay_msec = 1; while (wait_pid != child) { @@ -3948,8 +3949,10 @@ wait4pid(pid_t child, waitstatus *status) # 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 @@ finished: # 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 @@ finished: /* 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 diff --git a/src/version.c b/src/version.c index afe9c981cd..5743911f6c 100644 --- a/src/version.c +++ b/src/version.c @@ -763,6 +763,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 2282, /**/ 2281, /**/