Close file.

diff --git a/src/Utils/Utils_Identity.py b/src/Utils/Utils_Identity.py
index 98911dc7defefb7e54c77da28a5f652890a261a3..bd1d21b4ca74e28073f971d6b2f97877b1ac7cdd 100644 (file)
--- a/src/Utils/Utils_Identity.py
+++ b/src/Utils/Utils_Identity.py
@@ -80,6 +80,7 @@ try:
   s = file.readline()
   versnb = string.strip(string.split(s, ":")[1])
   dirname=".salome_"+versnb
+  file.close()
 except:
   versnb = ""
   dirname=".salome"