web2py/web2py — pull request #242 by rhr (2013-10-06 22:20:16+00:00)
Title: fix for using the shell with IPython >= 1.0

I have IPython 1.1 installed and needed this fix to start the shell