| http://www.w3.org/ns/prov#value | - ile} 2>/dev/null280 if [ $_err = 0 ]; then echo FETCHDONE ; fi281 unset FETCH_PID282 fi283284 echo 285 if [ $_err -ne 0 -a $_ftries -gt 0 ] ; then286 sleep 30287 _ftries=`expr $_ftries - 1`288289 # Remove the local file if we failed290 if [ -e ${_lf} ]; then rm ${_lf}; fi291292 get_file ${_rf} ${_lf} $_ftries 293 _err=$?294 fi295 return $_err296}297298# Check if a value is a number
|
