delete urifiles on killall

diff --git a/bin/killSalome.py b/bin/killSalome.py
index d3039eb96b4a1b8498cb1058efc7f3f5b2df4162..12a86ed70b84c0bfae1b11d31487761c80c8cf0b 100755 (executable)
--- a/bin/killSalome.py
+++ b/bin/killSalome.py
@@ -101,6 +101,8 @@ def killAllPorts():
                 pass
             pass
         pass
+        cmd = "rm -f " + os.environ['HOME'] + "/.urifile_*"
+        commands.getoutput(cmd)
     pass
 
 if __name__ == "__main__":