# HG changeset patch # User Pascal Bellard # Date 1303038649 -7200 # Node ID a758062d41a628f55c20769a3753676de96e190b # Parent 0a8644c1f8a83d5e39208a1fdfdb2d1e3154bc6c boot.cgi: show daemon process diff -r 0a8644c1f8a8 -r a758062d41a6 boot.cgi --- a/boot.cgi Sun Apr 17 12:20:08 2011 +0200 +++ b/boot.cgi Sun Apr 17 13:10:49 2011 +0200 @@ -56,14 +56,6 @@ # # Start and stop a daemon. I think we dont need restart since 2 # clicks and you are done - daemon=$(GET daemons) - case "$daemon" in - start=*) - sleep 1 - /etc/init.d/${daemon#start=} start | log ;; - stop=*) - /etc/init.d/${daemon#stop=} stop | log ;; - esac . /etc/rcS.conf xhtml_header @@ -75,6 +67,18 @@

EOT + daemon=$(GET daemons) + case "$daemon" in + start=*) + sleep 1 + /etc/init.d/${daemon#start=} start | log ;; + stop=*) + /etc/init.d/${daemon#stop=} stop | log ;; + pid=*) + echo "
"
+				ps ww | sed "1p;/^ *${daemon#pid=} /!d"
+				echo "
" ;; + esac # Demon list table_start cat << EOT @@ -148,17 +152,26 @@ # Pidof works for many daemon [ "$pid" ] || pid=`pidof $name` if [ "$pid" ]; then - echo "" - echo " - " - echo "$pid" + cat << EOT + + + + +EOT + for i in $pid; do + cat << EOT +$i +EOT + done else - echo "-" - echo " - " - echo "-----" + cat << EOT +- + + +----- +EOT fi - echo '' + echo '' done table_end ;; *)