Replace get_projects with get_directories, don't use os.walk

http/web.py

@@ -212,14 +212,14 @@ def route(path, params):
         return (404,)
 
 
-# Returns a list of top-level directories in basedir
-def get_projects(basedir):
-    projects = []
-    for (dirpath, dirnames, filenames) in os.walk(basedir):
-        projects.extend(dirnames)
-        break
-    projects.sort()
-    return projects
+# Returns a list of names of top-level directories in basedir
+def get_directories(basedir):
+    directories = []
+    for filename in os.listdir(basedir):
+        filepath = os.path.join(basedir, filename)
+        if os.path.isdir(filepath):
+            directories.append(filename)
+    return sorted(directories)
 
 # Generates HTML with a list of project versions, displayed in the sidebar
 # versions - usually generated by Query.query('versions')
@@ -439,7 +439,7 @@ def generate_source_page(q, basedir, parsed_path):
         'version': version,
         'url': url,
         'project': project,
-        'projects': get_projects(basedir),
+        'projects': get_directories(basedir),
         'ident': '',
         'family': 'A',
 
@@ -594,7 +594,7 @@ def generate_ident_page(q, basedir, parsed_path, ident):
         'version': version,
         'url': url,
         'project': project,
-        'projects': get_projects(basedir),
+        'projects': get_directories(basedir),
         'ident': ident,
         'family': family,