user-tools/pipekill

   1 #!/bin/bash
   2
   3 true <<EOF
   4 =pod
   5
   6 =head1 NAME
   7
   8 pipekill - Send signal to a process on the other end of the given pipe filedescriptor
   9
  10 =cut
  11
  12 EOF
  13
  14
  15 if [ .${1:0:1} = .- ]; then
  16         signal=$1
  17         shift
  18 else
  19         signal=''
  20 fi
  21
  22 if [ "$1" -ge 0 ] 2>/dev/null; then
  23         my_fd=$1
  24         pipe=`readlink -n /proc/$$/fd/$my_fd`
  25         pipe_number=${pipe//[!0-9]/}
  26         pipe=`find /proc -maxdepth 3 -mindepth 3 -lname "pipe:\[$pipe_number\]" -print -quit 2>/dev/null`
  27         other_pid=${pipe:6}; other_pid=${other_pid%%/*}
  28
  29         if [ -n "$other_pid" ]; then
  30                 kill $signal "$other_pid"
  31         else
  32                 echo "pipekill: piped process not found." >&2
  33                 exit 1
  34         fi
  35 else
  36         echo "Usage: pipekill [-<signal>] [<fdnum>]" >&2
  37         exit 1
  38 fi