--- ../2003-06-21-15/moz Sat Jun 21 15:32:33 2003 +++ moz Wed Jun 25 17:02:55 2003 @@ -1,6 +1,6 @@ #!/bin/sh appname=`basename "$0"` -ver="0.2.2RC1.2003062115" +ver="0.2.2RC1.2003062505" copy="2002, 2003" mail="PointedEars@gmx.de" mail_feedback="moz@PointedEars.de" @@ -52,7 +52,7 @@ # # ---------------------------------------------------------------------------- -L() { +L () { case $lg in de) echo "${2:-$1}";; *) echo "$1";; @@ -59,7 +59,7 @@ esac } -Title() { +Title () { echo " ${extd}moz $ver -- "`L "Mozilla Process Manager" \ "Mozilla Prozess-Manager"`"${norm} @@ -75,7 +75,7 @@ # ` } -help() { +help () { future=${extd}`L "For future use" "Für zukünftige Verwendung"`.${norm} echo echo "${extd}${appname}${norm} @@ -397,7 +397,7 @@ echo } -isMozRunning() { +isMozRunning () { # check for supported `ps' options whoami=`whoami` # BSD style user-oriented @@ -423,7 +423,7 @@ return 0 } -KillMoz() { +KillMoz () { local result=0 echo -n `L "Sending all Mozilla processes the" \ @@ -491,7 +491,7 @@ _XPG=0 } -ListMoz() { +ListMoz () { # check for supported `ps' options whoami=`whoami` args=" $1 " @@ -550,7 +550,7 @@ echo } -RunMsg() { +RunMsg () { case $1 in new) echo -n `L "Starting a new Mozilla process" \