From 97e027ac18b355d2377994acdf0da7741fd6771a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sun, 30 Dec 2018 17:01:45 +0100
Subject: [PATCH] file() is deprecated

---
 tools.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools.py b/tools.py
index 74705aa..ffbf711 100644
--- 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
 
-- 
2.43.0