From 7b33ef1b0ca8b1c6b4f77aaffa6f0aaca46029c3 Mon Sep 17 00:00:00 2001
From: Bernd Machenschalk <Bernd.Machenschalk@aei.mpg.de>
Date: Mon, 3 Dec 2012 10:12:32 +0000
Subject: [PATCH] Remote server management:     added pshelper

    - script to find out whether a daemon is running on a remote server

    - ran via ssh by the server status page

    - returns the process line returned by 'ps ww pid' or 'false'

    - inefficient over long distances, as a new ssh connection is required
      for every daemon
---
 sched/pshelper | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 sched/pshelper

diff --git a/sched/pshelper b/sched/pshelper
new file mode 100755
index 0000000000..042c8e1a7f
--- /dev/null
+++ b/sched/pshelper
@@ -0,0 +1,3 @@
+#!/bin/sh
+pid=`cat "$1"` &&
+ps ww $pid | grep "^ *\($pid\) " || echo false