fix ResourceWarning: unclosed file INSTALL/KERNEL/bin/salome/VERSION

diff --git a/src/Utils/Utils_Identity.py b/src/Utils/Utils_Identity.py
index a3b119c7960a4551b79ba670d9b97f6c93d6689a..72f7d33b1bbe1a263cef59bf26a75df10d3a6ff6 100644 (file)
--- a/src/Utils/Utils_Identity.py
+++ b/src/Utils/Utils_Identity.py
@@ -77,11 +77,10 @@ def getapplipath():
     return os.environ.get("APPLI",".salome_"+versnb)
 
 try:
-  file = open(os.path.join(os.environ["KERNEL_ROOT_DIR"],"bin","salome","VERSION"), "r")
-  s = file.readline()
+  with open(os.path.join(os.environ["KERNEL_ROOT_DIR"],"bin","salome","VERSION"), "r") as file:
+    s = file.readline()
   versnb = string.strip(string.split(s, ":")[1])
   dirname=".salome_"+versnb
-  file.close()
 except:
   versnb = ""
   dirname=".salome"