--- ../2003-06-17-21/moz Tue Jun 17 21:16:47 2003 +++ moz Sat Jun 21 15:32:33 2003 @@ -1,9 +1,9 @@ #!/bin/sh appname=`basename "$0"` -ver="0.2.2RC1.2003061721" +ver="0.2.2RC1.2003062115" copy="2002, 2003" mail="PointedEars@gmx.de" -mail_feedback="bug-moz@PointedEars.de" +mail_feedback="moz@PointedEars.de" # ---------------------------------------------------------------------------- # moz 0.2.2 -- Mozilla Process Manager # Copyright (C) 2002, 2003 Thomas Lahn @@ -32,7 +32,7 @@ # # This is work in progress. If you have an improvement, patch, # idea, whatever, on how to make this script better, please -# send it to +# send it to # # ChangeLog # ========== @@ -40,7 +40,7 @@ # See the ChangeLog text file for further information. # # -# TO DO (0.2.2RC1, scheduled 2003-04-28) +# TO DO (0.2.2RC1, scheduled 2003-07-01) # ======================================= # # * POSIX conform parsing of options and arguments (incomplete) @@ -52,7 +52,7 @@ # # ---------------------------------------------------------------------------- -function L { +L() { case $lg in de) echo "${2:-$1}";; *) echo "$1";; @@ -59,7 +59,7 @@ esac } -function Title { +Title() { echo " ${extd}moz $ver -- "`L "Mozilla Process Manager" \ "Mozilla Prozess-Manager"`"${norm} @@ -75,7 +75,7 @@ # ` } -function help { +help() { future=${extd}`L "For future use" "Für zukünftige Verwendung"`.${norm} echo echo "${extd}${appname}${norm} @@ -397,7 +397,7 @@ echo } -function isMozRunning { +isMozRunning() { # check for supported `ps' options whoami=`whoami` # BSD style user-oriented @@ -423,7 +423,7 @@ return 0 } -function KillMoz { +KillMoz() { local result=0 echo -n `L "Sending all Mozilla processes the" \ @@ -491,7 +491,7 @@ _XPG=0 } -function ListMoz { +ListMoz() { # check for supported `ps' options whoami=`whoami` args=" $1 " @@ -550,7 +550,7 @@ echo } -function RunMsg { +RunMsg() { case $1 in new) echo -n `L "Starting a new Mozilla process" \