I shut down the computer as I always did, by first closing the programs (without pausing the download), then following the usual procedure
(So far I have never paused downloads before exiting, and they resumed without a problem when I restarted)
Also I checked the downloaded files directory (not "incomplete"), there is no such file.
I'm sure there was/is no virus in my computer.