<tt><font size=2>> > So we can have predefined options for e.g.
wget or curl in wpkg.js,<br>
> > while preserving the possibility to use another tool.<br>
> <br>
> ...eg, a script (cmd suffices?!) that also check the MD5 of the file,<br>
> preventing wpkg tring to install ever an ever that corrupted installer.<br>
> ;-)<br>
> <br>
> This clearly needs an hash="" or md5="" field
in <download /> tag.</font></tt>
<br>
<br>
<br><tt><font size=2>Great idea! But this'll require another external tool,
because hash calculation via WSH is a world of slow.</font></tt>