#!/bin/sh        
#
# flush polipo disk cache
#
FORBIDDEN_FILE=/etc/polipo/forbidden
CONFIG_FILE=/etc/polipo/config

if [ ! -x /usr/bin/polipo ]; then
  exit 0
fi

if [ ! -f $FORBIDDEN_FILE ]; then
  FORBIDDEN_FILE=/dev/null
fi  

PIDFILE=/var/run/polipo/polipo.pid
[ -f "$PIDFILE" ] && kill -USR1 $(cat "$PIDFILE")
su -s /bin/sh -c \
  "nice polipo -x -c $CONFIG_FILE forbiddenFile=$FORBIDDEN_FILE > /dev/null" \
  polipo
[ -f "$PIDFILE" ] && kill -USR2 $(cat "$PIDFILE")