From 51865fd8bfacc87e1ab85d560eb4f182a5d9113c Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Sat, 19 Feb 2011 19:14:12 -0200
Subject: Enhancing check-puppetd.sh

---
 files/check-puppetd.sh | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 files/check-puppetd.sh

(limited to 'files/check-puppetd.sh')

diff --git a/files/check-puppetd.sh b/files/check-puppetd.sh
deleted file mode 100644
index 10d6bc1..0000000
--- a/files/check-puppetd.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/bash
-#
-# check if puppet is running
-#
-
-PID="/var/run/puppet/agent.pid"
-INIT="/etc/init.d/puppet"
-
-if [ ! -f "$PID" ]; then
-  $INIT start
-else
-  running="$(ps $(cat $PID) &> /dev/null)"
-  if [ "$?" != "0" ]; then
-    sleep `echo $RANDOM/2000*60 | bc`
-    $INIT start
-  fi
-fi
-- 
cgit v1.2.3