version 1.91, 2021/12/19 20:04:42 |
version 1.92, 2021/12/19 20:22:49 |
|
|
} |
} |
|
|
fetch() { |
fetch() { |
local _src="${FWURL}/${1##*/}" _dst=$1 _user=_file _pid _exit |
local _src="${FWURL}/${1##*/}" _dst=$1 _user=_file _pid _exit _error='' |
|
|
# If we're not in the installer, |
# If we're not in the installer, |
# we have su(1) and doas(1) is unlikely to be configured. |
# we have su(1) and doas(1) is unlikely to be configured. |
|
|
sleep 1 |
sleep 1 |
else |
else |
kill -INT -"$_pid" |
kill -INT -"$_pid" |
echo "fetch timed out" >&2 |
_error=" (timed out)" |
fi |
fi |
else |
else |
sleep 1 |
sleep 1 |
|
|
|
|
if [ "$_exit" -ne 0 ]; then |
if [ "$_exit" -ne 0 ]; then |
rm -f "$_dst" |
rm -f "$_dst" |
echo "Cannot fetch $_src" >&2 |
echo "Cannot fetch $_src$_error" >&2 |
return 1 |
return 1 |
fi |
fi |
} |
} |