#! /bin/sh
# \
	exec wish $0 ${1+"$@"}

set ppid [lindex $argv 0]
button .abort -text interrupt -command "exec kill -2 $ppid"

# emergency exit :-)
bind .abort <Shift-Control-Button-1> "exec kill -9 $ppid; exit"

pack .abort -side left -expand 1 -fill x
