aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGravatar Christian Hesse <mail@eworm.de>2019-08-01 18:45:54 +0200
committerGravatar Christian Hesse <mail@eworm.de>2019-08-01 18:45:54 +0200
commitab4aef4dfba35a715f9786566e33a6c1abc3350c (patch)
tree4ed57a0e55c18b20c8945c9b0fdaf54572d00241
parent70798de8f05e88e39fbcd70078b91b2ec07e9c83 (diff)
global-functions: $DownloadPackage: re-introduce check for valid package
Even if fetch tool does its job right now... Chances are that the download servers have corrupted or empty files.
-rw-r--r--global-functions5
1 files changed, 5 insertions, 0 deletions
diff --git a/global-functions b/global-functions
index b7eec27..a139345 100644
--- a/global-functions
+++ b/global-functions
@@ -200,6 +200,11 @@
:return false;
}
+ :if ([ / file get [ find where name=$PkgDest ] type ] != "package") do={
+ / file remove [ find where name=$PkgDest ];
+ :return false;
+ }
+
:return true;
}