diff --git a/eotk b/eotk index b54b74f..e6fc6ad 100755 --- a/eotk +++ b/eotk @@ -374,6 +374,12 @@ case "$cmd" in ;; status) # project ..., or "-a" + if [ -d $ob_dir ] ; then + pidfiles=`find $ob_dir -name "*.pid"` + if [ "x$pidfiles" != "x" ] ; then + ps -p `cat $pidfiles` + fi + fi $need_to_run_locally && RunLocallyOverProjects status "$@" InvokeRemotely status "$@" ;;