kill -KILL bad idea, ATM VCIs not closed on PPC

diff --git a/hadaq/hadaq_init.tcl b/hadaq/hadaq_init.tcl
index 8304317133a9a4acecf875cbe85e661df07d6023..76cbb3b44465edf7429bdf4ad05b0ca2228631aa 100644 (file)
--- a/hadaq/hadaq_init.tcl
+++ b/hadaq/hadaq_init.tcl
@@ -22,7 +22,7 @@ foreach i [agent cat] {
                        if {![string match {*_manage} $cmd] && [string match {daq_*} $cmd] || [string match {./daq_*} $cmd]} {
                                puts $line
                                set pid [lindex $line 0]
-                               catch {eval exec "rsh $host -l $user sh -c {'kill -9 $pid'}"}
+                               catch {eval exec "rsh $host -l $user sh -c {'kill $pid'}"}
                        }
                }
                close $f