crashes if there are non-project directories or other files in directory containing projects

[Max Zorloff]

the error is something like this:

Traceback (most recent call last):

File "/usr/local/lib/python2.5/site-packages/trac/web/main.py", line 387, in dispatch_request

dispatcher.dispatch(req)

File "/usr/local/lib/python2.5/site-packages/trac/web/main.py", line 208, in dispatch

chrome.populate_hdf(req, chosen_handler)

File "/usr/local/lib/python2.5/site-packages/trac/web/chrome.py", line 319, in populate_hdf

for category, name, text in contributor.get_navigation_items(req):

File "build/bdist.linux-i686/egg/projectmenu/web_ui.py", line 21, in get_navigation_items

proj_env = _open_environment(os.path.join(search_path, project))

File "/usr/local/lib/python2.5/site-packages/trac/web/main.py", line 58, in _open_environment

env_cache[env_path] = open_environment(env_path)

File "/usr/local/lib/python2.5/site-packages/trac/env.py", line 434, in open_environment

env = Environment(env_path)

File "/usr/local/lib/python2.5/site-packages/trac/env.py", line 126, in init

self.verify()

File "/usr/local/lib/python2.5/site-packages/trac/env.py", line 174, in verify

fd = open(os.path.join(self.path, 'VERSION'), 'r')

IOError: [Errno 2] No such file or directory: '/home/mmm/VERSION'