diff options
| author | jilles <jilles@FreeBSD.org> | 2009-12-21 22:16:07 +0000 |
|---|---|---|
| committer | jilles <jilles@FreeBSD.org> | 2009-12-21 22:16:07 +0000 |
| commit | 6cf4c8532735bac313b4687b9549d605532b8361 (patch) | |
| tree | c30e05b23d737620eda7d3e41101fb180c9c949a /etc | |
| parent | 6c324ca1d7834bde46ff8f888994c49dbd15200d (diff) | |
| download | FreeBSD-src-6cf4c8532735bac313b4687b9549d605532b8361.zip FreeBSD-src-6cf4c8532735bac313b4687b9549d605532b8361.tar.gz | |
rc.subr: Use pwait in wait_for_pids.
This waits for the requested process(es) to terminate, rather than polling
with an interval of 2 seconds.
If pwait is not available, the old method is used.
PR: conf/132766
Reviewed by: dougb
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/rc.subr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/rc.subr b/etc/rc.subr index f0a4b58..398f9f9 100644 --- a/etc/rc.subr +++ b/etc/rc.subr @@ -390,7 +390,7 @@ wait_for_pids() _list=$_nlist echo -n ${_prefix:-"Waiting for PIDS: "}$_list _prefix=", " - sleep 2 + pwait $_list 2>/dev/null || sleep 2 done if [ -n "$_prefix" ]; then echo "." |
