From 9bdba19d4a077641d8a797ff1ae7f1cca4d696b8 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Mon, 28 Mar 2011 15:20:58 +0200
Subject: [PATCH] prepend slash when using __object_id as name for __process

Signed-off-by: Nico Schottelius <nico@kr.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 240ebef9..2bfa8f84 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