--- 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.
#