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