Change dot image format from jpg to png.

[modules/kernel.git] / bin / killSalomeWithPort.py

diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py
index d2e6d3c0d3283e12db88afa0ad2ad589a93d96eb..725ee246e4549766320fb0989069860ca7f544dc 100755 (executable)
--- a/bin/killSalomeWithPort.py
+++ b/bin/killSalomeWithPort.py
@@ -1,6 +1,6 @@
 #! /usr/bin/env python
 #  -*- coding: iso-8859-1 -*-
-# Copyright (C) 2007-2011  CEA/DEN, EDF R&D, OPEN CASCADE
+# Copyright (C) 2007-2012  CEA/DEN, EDF R&D, OPEN CASCADE
 #
 # Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
 # CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
@@ -34,6 +34,7 @@
 import os, sys, pickle, signal, commands,glob
 from salome_utils import verbose
 import Utils_Identity
+import salome_utils
 
 def getPiDict(port,appname='salome',full=True,hidden=True,hostname=None):
     """