#!/bin/tcsh

# used to show time stamp
alias tsecho 'echo `date "+%Y/%m/%d %H:%M:%S"` = '


tsecho list ProductionExe from ls
ls -latr --full-time ProductionExe.*

tsecho list ProductionExe from ps
ps -U `id -un` uwww | grep ProductionExe

setenv pid `ls -tr ProductionExe.* | tail -n 1 | awk -F. '{print $2}'`
tsecho kill ProductionExe, pid = ${pid}
kill -9 ${pid}

exit 0

