FYI, you can do this a bit quicker by typing this in the console:
disconnect
map mapname
This basically just shuts down the server and then restarts it, loading your map again. Would at least save you the up to half a minute or so it takes to load up another map.
Your post does have some...