Revision 8998
Added by Aaron Marcuse-Kubitza about 11 years ago
| lib/util.sh | ||
|---|---|---|
| 159 | 159 |
{
|
| 160 | 160 |
inc_log_level |
| 161 | 161 |
if can_log; then |
| 162 |
sleep 0.1 # s; display after leading output of the echoed-to command
|
|
| 162 |
pipe_delay
|
|
| 163 | 163 |
echo ----- >&2 |
| 164 | 164 |
tee -a /dev/stderr; |
| 165 | 165 |
echo ----- >&2 |
Also available in: Unified diff
lib/util.sh: echo_stdin (): use new pipe_delay