Subversion Repositories openrisc

#!/bin/bash

# Copyright (C) 2011 Embecosm Limited

# Contributor Jeremy Bennett <jeremy.bennett@embecosm.com>

# This file is a script to stop a group of Linux instances

# This program is free software; you can redistribute it and/or modify it

# under the terms of the GNU General Public License as published by the Free

# Software Foundation; either version 3 of the License, or (at your option)

# any later version.

# This program 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 General Public License for

# more details.

# You should have received a copy of the GNU General Public License along

# with this program.  If not, see <http://www.gnu.org/licenses/>.

# ------------------------------------------------------------------------------

# Stop up a batch of linux sessions.

# The input for this is a string of PIDs - the output of start-linuxes.sh. We

# use the PID to kill the Linux process.

for pid in $*

do

    # Find all the processes of which this is parent and kill them

    for cpid in `ps h --ppid ${pid} | sed -e 's/ *\([[:digit:]]*\).*$/\1/'`

    do

        kill -KILL ${cpid} > /dev/null 2>&1

    done

    # Kill the main process. Using -INT should allow the session to finish

    # writing to the log.

    kill -INT ${pid} > /dev/null 2>&1

    kill -HUP ${pid} > /dev/null 2>&1

done

# We could add more brutal commands here to get rid of xterms and TUN/TAP

# connections. However this would just kill everything, not the named linuxes,

# potentially inconveniencing others.

# kill `ps x | grep 'xterm *-S.*/.*' | sed -e 's/\(.....\).*$/\1/'`

# fuser -k /dev/net/tun