Forum Moderators: goodroi
The # character in robots.txt [robotstxt.org] designates the start of a comment, so yes it should be ignored by a bot.
# robots.txt for http://www.example.com/User-agent: *
Disallow: /cyberworld/map/ # This is an infinite virtual URL space
Disallow: /tmp/ # these will soon disappear
Disallow: /foo.html
Andrew