What if the changes are made and the map remains with the same name? Or will it just tell people that their map differs from the server instead of re-downloading it?

What if the changes are made and the map remains with the same name? Or will it just tell people that their map differs from the server instead of re-downloading it?