From 0e8d36f5928a5869f67eb79c55f3e1ff69973f08 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Sun, 27 Mar 2011 23:12:25 +0200
Subject: [PATCH] add -x to pgrep

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 conf/type/__process/explorer/runs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/conf/type/__process/explorer/runs b/conf/type/__process/explorer/runs
index 685dd19e..6d2bdf8c 100755
--- a/conf/type/__process/explorer/runs
+++ b/conf/type/__process/explorer/runs
@@ -23,4 +23,5 @@
 
 process="$__object_id"
 
-pgrep -f "$process" || true
+ps aux
+pgrep -x -f "$process" || true