diff -r 6488ff168b42 -r 99771d263391 thirdparty/google_appengine/dev_appserver.py
--- a/thirdparty/google_appengine/dev_appserver.py	Thu Oct 23 12:00:29 2008 +0000
+++ b/thirdparty/google_appengine/dev_appserver.py	Sat Oct 25 22:26:34 2008 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2.5
 #
 # Copyright 2007 Google Inc.
 #