/usr/lib/salome/bin/killSalome.py is in salome-kernel 6.5.0-7ubuntu2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 | #! /usr/bin/env python
# -*- coding: iso-8859-1 -*-
# 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
#
# This library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public
# License as published by the Free Software Foundation; either
# version 2.1 of the License.
#
# This library is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with this library; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
#
# See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
#
## \file killSalome.py
# Stop all %SALOME servers from all sessions by killing them
#
import os, sys, re, signal
from killSalomeWithPort import killMyPort, getPiDict
#from salome_utils import getHostName, getShortHostName
def killAllPorts():
"""
Kill all SALOME sessions belonging to the user.
"""
user = os.getenv('USER')
#hostname = getHostName()
#shostname = getShortHostName()
# new-style dot-prefixed pidict file
#fpidict = getPiDict('(\d*)',hidden=True)
#problem with WIN32 path slashes
fpidict = getPiDict('#####',hidden=True)
dirpidict = os.path.dirname(fpidict)
fpidict = os.path.basename(fpidict)
#if hostname in fpidict:
# fpidict = fpidict.replace(hostname, shostname+".*")
fpidict = fpidict.replace('#####', '(\d*)')
fnamere = re.compile("^%s$" % fpidict)
try:
for f in os.listdir(dirpidict):
mo = fnamere.match(f)
try:
killMyPort(mo.group(1))
except:
pass
pass
pass
except:
pass
# provide compatibility with old-style pidict file (not dot-prefixed)
#fpidict = getPiDict('(\d*)',hidden=False)
fpidict = getPiDict('#####',hidden=False)
dirpidict = os.path.dirname(fpidict)
fpidict = os.path.basename(fpidict)
#if hostname in fpidict:
# fpidict = fpidict.replace(hostname, shostname+".*")
fpidict = fpidict.replace('#####', '(\d*)')
fnamere = re.compile("^%s$" % fpidict)
try:
for f in os.listdir(dirpidict):
mo = fnamere.match(f)
try:
killMyPort(mo.group(1))
except:
pass
pass
pass
except:
pass
# kill other processes
if sys.platform != 'win32':
import commands
cmd = "ps -fea | grep '%s' | grep 'ghs3d' | grep 'f /tmp/GHS3D_' | grep -v 'grep' | awk '{print $2}'" % user
prc = commands.getoutput(cmd)
for field in prc.split():
try:
os.kill(int(field), signal.SIGKILL)
except:
pass
pass
pass
pass
if __name__ == "__main__":
killAllPorts()
pass
|