X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=conf_files.py;h=fcc3b7df4672ee653d6fd52bbae7f064faca150c;hb=1b4f53e648b13f7629970787b6ec03387e2d966a;hp=252c795c68882fcbb011ef86debe28b9be4d9789;hpb=55afbcaa2f8e9646bec3962e406f150f5d31b47b;p=nodemanager.git

diff --git a/conf_files.py b/conf_files.py
index 252c795..fcc3b7d 100644
--- a/conf_files.py
+++ b/conf_files.py
@@ -107,7 +107,8 @@ if __name__ == '__main__':
 
     # Load /etc/planetlab/session
     if os.path.exists(options.session):
-        session = file(options.session).read().strip()
+        with open(options.session) as f:
+            session = f.read().strip()
     else:
         session = options.session