12 echo "WARNING: $@" >&2
16 [ -n "$1" ] || { warn "INTERNAL ERROR: trykill: no argument ?" ; return 2 ; }
17 kill -TERM "$1" || { warn "Could not kill pid '${1}'" ; return 1 ; }
19 /bin/kill -KILL "$1" 2>/dev/null && { warn "Process ${1} would not die" ; }
21 /bin/kill -KILL "$1" 2>/dev/null && { warn "Process ${1} would not die after -KILL" ; return 1 ; }
27 [ -n "$1" ] || { warn "INTERNAL ERROR: No coun/repr given ?" ; return 2 ; }
29 [ -n "$REP" ] || REP="$1"
30 ${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; }