I understand you can get the size of a mod file from a File, but if you're downloading a mod file using Modio.download() then getting the size of a mod file means making another request. It would be convenient and it would mean one less request if the Content-Length header was accessible from a field on Downloader.
I understand you can get the size of a mod file from a
File
, but if you're downloading a mod file usingModio.download()
then getting the size of a mod file means making another request. It would be convenient and it would mean one less request if theContent-Length
header was accessible from a field onDownloader
.