file() is deprecated
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 30 Dec 2018 16:01:45 +0000 (17:01 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 30 Dec 2018 16:01:45 +0000 (17:01 +0100)
tools.py

index 74705aa..ffbf711 100644 (file)
--- a/tools.py
+++ b/tools.py
@@ -461,7 +461,7 @@ def get_node_virt():
         virt = 'vs' if subprocess.call(['vserver', '--help']) == 0 else 'lxc'
     except:
         virt = 'lxc'
-    with file(virt_stamp, "w") as f:
+    with open(virt_stamp, "w") as f:
         f.write(virt)
     return virt