#!/bin/sh

# terminate an stcp simulation, saving the results

guilty=`whoami`
machine=`uname -n`
kill -USR2 $1
elm -s "stcp $1 terminated" manthorpe@di.epfl.ch <<ENDOFMESSAGE
STCP termination report:

Process $1 was terminated on $machine by $guilty
ENDOFMESSAGE

echo "stcp $1 -- RIP\n"

