blob: 0f8a0a8e448512d6f906ca3b0394f65e8ed66424 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/bin/bash
declare -r ARGV0='vc-thm'
pull_url () {
local i=0
echo -n "$ARGV0: " >&2
while true
do
sleep 0.5 & # limit rate to one per 500 ms
curl -sSL "$1" > /dev/null
wait
let 'i += 1'
echo -n "$i " >&2
done
}
if [ "$#" -lt 2 ]; then
echo "Usage: $ARGV0 <URL> [TIMEOUT]" >& 2
exit 2
fi
TIMEOUT="$2"
set -e
pull_url "$1" &
CHILD="$!"
sleep "$TIMEOUT"
set +e
kill -TERM "$CHILD"
wait
echo >&2
exit 0 # don't care about the exit code from pull_url
|
