diff options
author | Christian Hesse <mail@eworm.de> | 2019-08-01 18:45:54 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2019-08-01 18:45:54 +0200 |
commit | ab4aef4dfba35a715f9786566e33a6c1abc3350c (patch) | |
tree | 4ed57a0e55c18b20c8945c9b0fdaf54572d00241 | |
parent | 70798de8f05e88e39fbcd70078b91b2ec07e9c83 (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-functions | 5 |
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; } |