unable to recover from failed acronyms database download
When I try to ⁝
→ Update
the database but it fails (stupid hostel network), the application later says Error reading database.
When I then try to update again, it may happen that it first says that the database is up to date, then the same error.
From the symptoms, I believe that the application downloads both acronyms.ver
and acronyms
in-place, and in that order.
I am strongly of the opinion that proper behaviour would be to, instead, download acronyms.ver
into a temporary file first, then update the database, and only if that succeeded, move the temporary file into place.