From 40b7b158c0c38708574a2d4354490de83df23c3c Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Sun, 27 Mar 2011 23:13:18 +0200
Subject: [PATCH] -debug

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

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