#!/bin/csh
set pid=`cat etc/ldbf.pid`
kill -TERM $pid
