ChCh
/
chch_api
10
0
Fork 1
Code Issues Pull Requests Releases Wiki Activity

try to work around connectivity problems

This commit is contained in:
root 2018-09-18 15:32:12 +02:00
parent 433ee59a35
commit 32feed50b1
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
chch-calendar.sh
View File

@ -6,13 +6,21 @@ CHCH_ICAL="/var/www/chch_api/chch.ical"
WIKI_PATH="/var/www/chch/"
RAND="$(date +%s)$RANDOM$RANDOM$RANDOM"
CHCH_ICAL_TMP="/tmp/chch_$RAND.ical"
CHCH_ICAL_FAIL="/tmp/chch_ical_wget_failed"
rm -rf /tmp/chch_*.ical
wget "$CHCH_ICAL_SRC" -O "$CHCH_ICAL_TMP" -q -T 45
wget "$CHCH_ICAL_SRC" -O "$CHCH_ICAL_TMP" -q -T 45 -t 1
if [ $? -ne 0 ]; then
echo "ERROR: wget failed to download calendar" >&2
if [ ! -f "$CHCH_ICAL_FAIL" ]; then
echo "ERROR: wget failed to download calendar" >&2
touch "$CHCH_ICAL_FAIL"
fi
else
mv "$CHCH_ICAL_TMP" "$CHCH_ICAL"
mv "$CHCH_ICAL_TMP" "$CHCH_ICAL" >/dev/null 2>&1
if [ -f "$CHCH_ICAL_FAIL" ]; then
echo "INFO: wget recovered from previous error" >&2
rm -rf "$CHCH_ICAL_FAIL"
fi
fi