devtools/devctl.py
changeset 10614 57dfde80df11
parent 10601 73c1c9cf6bda
child 10662 10942ed172de
--- a/devtools/devctl.py	Thu Sep 17 09:52:06 2015 +0200
+++ b/devtools/devctl.py	Tue Sep 15 15:33:47 2015 +0200
@@ -322,7 +322,7 @@
         potfiles.append(schemapot)
         # explicit close necessary else the file may not be yet flushed when
         # we'll using it below
-        schemapotstream = file(schemapot, 'w')
+        schemapotstream = open(schemapot, 'w')
         generate_schema_pot(schemapotstream.write, cubedir=None)
         schemapotstream.close()
         print('TAL', end=' ')
@@ -446,7 +446,7 @@
     potfiles.append(schemapot)
     # explicit close necessary else the file may not be yet flushed when
     # we'll using it below
-    schemapotstream = file(schemapot, 'w')
+    schemapotstream = open(schemapot, 'w')
     generate_schema_pot(schemapotstream.write, cubedir)
     schemapotstream.close()
     print('TAL', end=' ')
@@ -712,7 +712,7 @@
         requests = {}
         for filepath in args:
             try:
-                stream = file(filepath)
+                stream = open(filepath)
             except OSError as ex:
                 raise BadCommandUsage("can't open rql log file %s: %s"
                                       % (filepath, ex))