or one can use a dlmanager to dl all files. for example getright or any other.
Yes one could use a download manager, but it would depend on how the server is configured. In my case
I don't allow the use of download managers as those users are taking all of the available bandwidth away from others who are also trying to download at the same time. With a limited amount of server upload bandwidth, you have to try and share it equally to all who are trying to enjoy your server at the same time.