diff options
author | varac <varacanero@zeromail.org> | 2016-05-17 11:50:50 +0200 |
---|---|---|
committer | varac <varacanero@zeromail.org> | 2016-05-17 11:50:50 +0200 |
commit | 9981a70f7ba1f9e4fe33e4eb46654295287c1fc1 (patch) | |
tree | 1beb63d346b919727a0e7e8df124feb5039930cb /files | |
parent | 43506968b1760b8a54f012c72baa9a5820cee21a (diff) | |
parent | fd7aad3cb5fb7f8db73ef5dbe2cbab9ab4868325 (diff) |
Merge branch 'master' of gitlab.com:shared-puppet-modules-group/tor
Diffstat (limited to 'files')
-rwxr-xr-x | files/polipo/polipo.cron | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/files/polipo/polipo.cron b/files/polipo/polipo.cron deleted file mode 100755 index aba88bc..0000000 --- a/files/polipo/polipo.cron +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -set -e - -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") -# TODO: remove redirect stderr to /dev/null after the following bug is solved: -# http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=580434 -su -c \ - "nice polipo -x -c $CONFIG_FILE forbiddenFile=$FORBIDDEN_FILE > /dev/null" \ - proxy &> /dev/null -[ -f "$PIDFILE" ] && kill -USR2 $(cat "$PIDFILE") |