Comment 10 for bug 1615364

> How about adding an extra input field for the file name when uploading, prefilled from the map's name?

No, i think this too complicated (and not file name safe regarding allowed characters). When a player saves a map for uploading, he may think that this name is used for downloading (i would think so). Providing an additional field for the map name (for download) is imho superfluous, at least because this is well done in the editor when saving a map.

This is really dependent on personal use case. One save's maps with "test_01" others with the (potentially shortened) name of the map. Personally i try to give files an appropriate name when storing them. The current behavior of the editor fits my use case :-) And that's the reason why i think downloading of a map should result in the same file name which is used for uploading. Just because the editor provides a file name dependent of the map name.

But i don't know how to handle different use cases on the website. Maybe reject file names which are not corresponding to the map name (give a hint: "Your maps name does not fit with the given file name. Please change the maps name or the file name and try again.")? This may prevent also something like https://wl.widelands.org/forum/topic/1992/

This is independent of a safe filename on up/downloading. This could be managed internally, f.e replace spaces, or special characters, with underscores.