devtools/__init__.py
changeset 7896 4c954e1e73ef
parent 7879 9aae456abab5
child 8175 89fcaca0bca0
--- a/devtools/__init__.py	Thu Sep 29 14:47:04 2011 +0200
+++ b/devtools/__init__.py	Tue Aug 09 09:43:26 2011 +0200
@@ -581,7 +581,7 @@
         except BaseException:
             if self.dbcnx is not None:
                 self.dbcnx.rollback()
-            print >> sys.stderr, 'building', self.dbname, 'failed'
+            sys.stderr.write('building %s failed\n' % self.dbname)
             #self._drop(self.dbname)
             raise