git://git.onelab.eu
/
nodemanager.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
hopefully fewer leaks in files : always use a context manager to open files
[nodemanager.git]
/
conf_files.py
diff --git
a/conf_files.py
b/conf_files.py
index
252c795
..
fcc3b7d
100644
(file)
--- 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