devtools/__init__.py
branchstable
changeset 8124 acc23c284432
parent 7896 4c954e1e73ef
child 8175 89fcaca0bca0
--- a/devtools/__init__.py	Thu Dec 08 14:29:48 2011 +0100
+++ b/devtools/__init__.py	Fri Dec 09 12:08:44 2011 +0100
@@ -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