home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume27 / distributed-c-2.1 / part01 / bin / killdcadmins next >
Encoding:
Text File  |  1993-12-22  |  253 b   |  7 lines
  1. # remove all dcadmin-processes from local machine
  2. echo "sending all dcadmin processes signal $1"
  3. \rm -f /tmp/dcadmin.pids
  4. echo "kill $1 \c" > /tmp/dcadmin.pids
  5. ps -ef | grep dcadmin | awk '{ printf "%d ", $2 }' >> /tmp/dcadmin.pids
  6. sh /tmp/dcadmin.pids
  7.