add redirect to default page for bottle

techtonik · techtonik · commit 5d18f48db471 · 2014-07-26T15:25:58.000+03:00
diff --git a/v3/bottle_server.py b/v3/bottle_server.py
@@ -12,14 +12,19 @@
 # I had to replace cStringIO with io and urllib2 with urllib, for
 # compatibility from 2.x to 3.x Ii was running from /v3/).
 
-from bottle import route, get, request, run, template, static_file
+from bottle import route, get, request, run, template, static_file, redirect
 import StringIO # NB: don't use cStringIO since it doesn't support unicode!!!
 import json
 import pg_logger
 import urllib
 import urllib2
 
 
+@route('/')
+@route('/index')
+def redirect_home():
+    redirect('index.html')
+
 @route('/<filepath:path>')
 def index(filepath):
     # special-case for testing name_lookup.py ...
diff --git a/v3/docs/developer-overview.md b/v3/docs/developer-overview.md
@@ -52,19 +52,14 @@ who set up OPT on his Ubuntu laptop. (btw [Hacker School](http://www.hackerschoo
 Google App Engine works only with Python 2, not Python 3. So if you want to run with Python 3 as well,
 first install the [bottle](http://bottlepy.org/) micro web framework:
 
-    easy_install pip
     pip install bottle
 
 And then run:
 
     cd OnlinePythonTutor/v3/
     python bottle_server.py
 
-If all goes well, when you visit this URL, you should see the Python Tutor visualizer:
-
-    http://localhost:8080/visualize.html
-
-Note that you can run bottle with both Python 2 and 3.
+If all goes well, you should see the main Python Tutor page at http://localhost:8080/
 
 However, **only** run this app locally for testing, not in production, since security checks are disabled.
 
