wok diff git/stuff/git-daemon @ rev 22601
updated clucene and clucene-dev (0.9.21b -> 2.3.3.4)
author | Hans-G?nter Theisgen |
---|---|
date | Wed Jan 08 17:31:15 2020 +0100 (2020-01-08) |
parents | 5dfd3ce5f96b |
children | 2ba3c02cf43f |
line diff
1.1 --- a/git/stuff/git-daemon Sat Feb 18 16:50:02 2012 +0100 1.2 +++ b/git/stuff/git-daemon Wed Jan 08 17:31:15 2020 +0100 1.3 @@ -9,7 +9,7 @@ 1.4 . /etc/daemons.conf 1.5 1.6 NAME=git-daemon 1.7 -DESC="git-daemon daemon" 1.8 +DESC="$(_ '%s daemon' Git)" 1.9 DAEMON=/usr/lib/git-core/git-daemon 1.10 OPTIONS=$GIT_OPTIONS 1.11 PIDFILE=/var/run/git-daemon.pid 1.12 @@ -17,37 +17,36 @@ 1.13 case "$1" in 1.14 start) 1.15 if active_pidfile $PIDFILE git-daemon ; then 1.16 - echo "$NAME already running." 1.17 + _ '%s is already running.' $NAME 1.18 exit 1 1.19 fi 1.20 - echo -n "Starting $DESC: $NAME... " 1.21 + action 'Starting %s: %s...' "$DESC" $NAME 1.22 $DAEMON --pid-file=$PIDFILE $OPTIONS 1.23 status 1.24 ;; 1.25 stop) 1.26 if ! active_pidfile $PIDFILE git-daemon ; then 1.27 - echo "$NAME is not running." 1.28 + _ '%s is not running.' $NAME 1.29 exit 1 1.30 fi 1.31 - echo -n "Stopping $DESC: $NAME... " 1.32 - kill `cat $PIDFILE` 1.33 + action 'Stopping %s: %s...' "$DESC" $NAME 1.34 + kill $(cat $PIDFILE) 1.35 status 1.36 ;; 1.37 restart) 1.38 if ! active_pidfile $PIDFILE git-daemon ; then 1.39 - echo "$NAME is not running." 1.40 + _ '%s is not running.' $NAME 1.41 exit 1 1.42 fi 1.43 - echo -n "Restarting $DESC: $NAME... " 1.44 - kill `cat $PIDFILE` 1.45 + action 'Restarting %s: %s...' "$DESC" $NAME 1.46 + kill $(cat $PIDFILE) 1.47 sleep 2 1.48 $DAEMON $OPTIONS 1.49 status 1.50 ;; 1.51 *) 1.52 - echo "" 1.53 - echo -e "\033[1mUsage:\033[0m /etc/init.d/`basename $0` [start|stop|restart]" 1.54 - echo "" 1.55 + emsg "<n><b>$(_ 'Usage:')</b> $0 [start|stop|restart]" 1.56 + newline 1.57 exit 1 1.58 ;; 1.59 esac