From 6b4dbbdd3728bcbd99228b4a9cce1db0b24ae95d Mon Sep 17 00:00:00 2001
From: Christian Hesse <mail@eworm.de>
Date: Sun, 14 Sep 2014 21:16:00 +0200
Subject: add networkmanager dispatcher script

---
 networkmanager/80-pacredir | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 networkmanager/80-pacredir

(limited to 'networkmanager')

diff --git a/networkmanager/80-pacredir b/networkmanager/80-pacredir
new file mode 100755
index 0000000..bd2def5
--- /dev/null
+++ b/networkmanager/80-pacredir
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+if [ "${2}" == "up" ]; then
+	if pgrep -x pacredir >/dev/null; then
+		kill -HUP $(pgrep -x pacredir)
+	fi
+fi
-- 
cgit v1.2.3-54-g00ecf