X-Git-Url: http://git.onelab.eu/?p=nodemanager.git;a=blobdiff_plain;f=nodemanager.py;h=d397a4b36dbc3e1e731d77fce11f5caa8accee13;hp=c0a565625168cacf7b4a030de66365b3652be17a;hb=1b4f53e648b13f7629970787b6ec03387e2d966a;hpb=9e596e6eb3c871ab25837903b0ed30f165d9d688

diff --git a/nodemanager.py b/nodemanager.py
index c0a5656..d397a4b 100755
--- a/nodemanager.py
+++ b/nodemanager.py
@@ -232,7 +232,8 @@ If this is not the case, please remove the pid file {}. -- exiting""".format(oth
 
             # Load /etc/planetlab/session
             if os.path.exists(self.options.session):
-                session = file(self.options.session).read().strip()
+                with open(self.options.session) as f:
+                    session = f.read().strip()
             else:
                 session = None