From fca7b4fedff2640e9e11b06cd305217e9913d026 Mon Sep 17 00:00:00 2001
From: rnv <rnv@opencascade.com>
Date: Mon, 5 May 2014 20:00:31 +0400
Subject: [PATCH] Close file.

---
 src/Utils/Utils_Identity.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Utils/Utils_Identity.py b/src/Utils/Utils_Identity.py
index 98911dc7d..bd1d21b4c 100644
--- 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"
-- 
2.39.2