Add dynamic projects list

http/web.py

@@ -92,6 +92,11 @@ basedir = os.environ['LXR_PROJ_DIR']
 os.environ['LXR_DATA_DIR'] = basedir + '/' + project + '/data';
 os.environ['LXR_REPO_DIR'] = basedir + '/' + project + '/repo';
 
+projects = []
+for (dirpath, dirnames, filenames) in os.walk (basedir):
+    projects.extend (dirnames)
+    break
+
 import sys
 sys.path = [ sys.path[0] + '/..' ] + sys.path
 import query
@@ -122,6 +127,7 @@ data = {
     'tag': tag,
     'version': version,
     'url': url,
+    'projects': projects,
 }
 
 lines = do_query ('versions')

templates/layout.html

@@ -37,6 +37,9 @@
 			<aside class="sidebar" id="menu">
 				<nav>
 					<h3 class="screenreader">Projects</h3>
+					{%- for p in projects %}
+					<li{% if p == project %} class="active"{% endif %}><a href="/{{p}}/latest/source">{{p}}</a></li>
+					{%- endfor %}
 					<h3 class="screenreader">Versions</h3>
 					<ul class="versions">
 						{{versions}}