When downloading files, sometimes the file's format is changed to ".bin"

[youwenliang]

Describe the bug Sometimes some file types that are downloaded change the format of the extension (like from .mkv to .bin.). There is no access to change the storage area.

Reproduce rate How many times you can reproduce such issue, given the testing rounds Not sure

Additional context

[cnevinc]

We'll need a reproduce step. And we'll also need to know the impact of this behavior. What's causing the problem?

[cnevinc]

Tested on my device. Reproduce Step:

• Go to https://msrp-dev01.appspot.com/api/v1/admin/push/ui?token=3
• Click "download"
• Go to Download Panel
• The file name is download.bin

cause: Android DownloadManager automatically adds bin as the extension to the file without a file extension.

action item

• I don't think there's anything we can do. Since we don't know the mime type of that file.
• close this bug

[youwenliang]

@cnevinc is it possible that we just don't add the .bin even if there's no extension to the files?

[youwenliang]

I also encounter another issue, when the download started, it will show Unknown (Pending...) on the Download Panel, look like broken to me, but still download successfully after a while.

[cnevinc]

I also encounter another issue, when the download started, it will show Unknown (Pending...) on the Download Panel, look like broken to me, but still download successfully after a while.

Please create another issue for this new issue

[cnevinc]

dd the .bin even if there's no extension to the file

this is doable. Just not sure what's the impact and what issue we want to solve here.

[youwenliang]

Just to resolve confusion from the users and divert the source of the problem to the file servers, not to the browser.

Feedback from the users related to the "bin" issue:

[cnevinc]

on it