# -*-Shell-script-*-
-# $Id$
-# $URL$
-#
# Common functions for PLC startup/shutdown scripts
#
# Mark Huang <mlhuang@cs.princeton.edu>
ERRORS=0
# Count the exit status of the last command
-check ()
-{
+function check () {
ERRORS=$(($ERRORS+$?))
}
# Print status header
-dialog ()
-{
+function dialog () {
echo -n "PLC: $*: " >&3
}
# Print result
-result ()
-{
+function result () {
if [ $ERRORS -eq 0 ] ; then
success "$*" >&3
else
}
# Start up a program with a plc_ prefix
-plc_daemon ()
-{
+function plc_daemon () {
base=${1##*/}
# See if it's already running. Look *only* at the pid file.
}
# Print IP address of hostname if resolvable
-gethostbyname ()
-{
+function gethostbyname () {
python -c 'import socket; import sys; print socket.gethostbyname(sys.argv[1])' $1 2>/dev/null
}
# Forcefully make a symlink
-symlink ()
-{
+function symlink () {
mkdir -p $(dirname $2)
rm -f $2
ln -s $1 $2
}
# Argument(s) or stdin to lowercase stdout
-lower ()
-{
+function lower () {
if [ ${#*} -ge 1 ] ; then
tr A-Z a-z <<<$*
else
}
# Argument(s) or stdin to uppercase stdout
-upper ()
-{
+function upper () {
if [ ${#*} -ge 1 ] ; then
tr a-z A-Z <<<$*
else
}
# Regenerate configuration files
-reload ()
-{
+function plc_reload () {
force=$1
# Regenerate the main configuration file from default values