There's no code needed
Problem description:
Is it possible to have 10 worlds randomly selected every time the game reboots the world? I have named them in the following manner:
"world"+ 1-10 number + ".dmm"
so I have world1.dmm, world2.dmm and so on.
Can I randomly select from them every 5 hours game is restarted?
Then you can use it like this:
I'm not sure what you plan to do with the random map file after you have it though.