Merge remote branch 'nico/master'

2011-03-28 17:08:46 +02:00 · 2011-03-28 17:08:46 +02:00 · 1e42861ff4
commit 1e42861ff4
parent f337612d36 9bdba19d4a
26 changed files with 590 additions and 279 deletions
--- 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