diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-17 13:18:26 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 11:04:51 -0500 |
| commit | 3bbd0fa79a366c32c526d749504c5fb960c11451 (patch) | |
| tree | 9bebae1f5fa7c57e53c52a090d5521ef2e78ed0e | |
| parent | bc038aebddbb1fce1f9176565efae0cdf1f3f68c (diff) | |
st_trace: don't busy-wait
| -rwxr-xr-x | st_trace | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -101,5 +101,5 @@ then | |||
| 101 | else | 101 | else |
| 102 | # wait for SIGUSR1 to terminate | 102 | # wait for SIGUSR1 to terminate |
| 103 | echo "Waiting for SIGUSR1 to end tracing..." | 103 | echo "Waiting for SIGUSR1 to end tracing..." |
| 104 | while [ 1 ]; do sleep 10; done | 104 | wait $PIDS |
| 105 | fi | 105 | fi |
