Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Teach the updater to resume interrupted updates #1
When an update is interrupted, the update/ directory is still in place. The Updater therefore would refuse to launch without a restart, and -- what is worse -- a restart of ImageJ would copy the (possibly incomplete) files into place.
Teach the Updater to detect when an update was interrupted and re-checksum the downloaded files, delete the incomplete ones, and continue.
Teach the launcher to ignore incomplete update/ directories (best bet: use a different name until the update is done, similar to the common file system-based locking pattern we already apply for db.xml.gz when uploading).