# HG changeset patch # User Changaco # Date 1334531431 -7200 # Node ID 89a371120463fbee06a0af3dd348cb576db0b080 # Parent 09afbcd3efcb09802153b42931eec542d03ae9df not so easy to track PIDs of python daemons Signed-off-by: Changaco diff --git a/rc.d/feed-push b/rc.d/feed-push --- a/rc.d/feed-push +++ b/rc.d/feed-push @@ -6,20 +6,15 @@ daemon_bin="/usr/bin/feed-push" daemon_name=$(basename $daemon_bin) pid_file="/var/run/$daemon_name.pid" +PID=$(cat $pid_file) data_dir=/var/lib/$daemon_name conf_dir=/etc/$daemon_name -get_pid() { - pgrep -f $daemon_name | grep -v $$ -} -PID=$(get_pid) - case "$1" in start) stat_busy "Starting $daemon_name daemon" if [ -z "$PID" ]; then - [ -f $pid_file ] && rm -f $pid_file $daemon_bin "$conf_dir" "$data_dir/state" --fork $pid_file --syslog if [ $? -gt 0 ]; then stat_fail