Rene Rebe:

scripts/Download

@@ -457,7 +457,7 @@ download_file_now() {
 		echo "ERROR: So I'm not trying to download" \
 		     "it again (remove src/Download-Errors"
 		echo "ERROR: if you want to force a retry)."
-		rm -f "$lkfile" ; trap INT ; return 1
+		return 1
 	fi
 
 	# Download
@@ -546,7 +546,6 @@ download_file_now() {
 		fi
 
 		if [ $curlret -ne 0 ] ; then
-		    rm -f "$lkfile" ; trap INT
 		    case "$curlret" in
 		      18)
 		      echo "WARNING: Got only some of the" \