From b9301c8194e5a2fcf153ac5e27d04047773ac64e Mon Sep 17 00:00:00 2001
From: Steven Armstrong <steven@icarus.ethz.ch>
Date: Mon, 14 Nov 2011 23:05:13 +0100
Subject: [PATCH] bugfix: process names dont start with slash

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
---
 conf/type/__process/explorer/runs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf/type/__process/explorer/runs b/conf/type/__process/explorer/runs
index 2bfa8f84..240ebef9 100755
--- a/conf/type/__process/explorer/runs
+++ b/conf/type/__process/explorer/runs
@@ -24,7 +24,7 @@
 if [ -f "$__object/parameter/name" ]; then
    name="$(cat "$__object/parameter/name")"
 else
-   name="/$__object_id"
+   name="$__object_id"
 fi
 
 pgrep -x -f "$name" || true