diff options
| author |   Chris Gianelloni <wolf31o2@gentoo.org> | 2007-03-07 17:30:56 +0000 |
|---|---|---|
| committer | Chris Gianelloni <wolf31o2@gentoo.org> | 2007-03-07 17:30:56 +0000 |
| commit | 76da1e5d19f85cfbf72c8e918f196f02d0143b28 (patch) | |
| tree | c52595ea1515525ade63ad77bb923219fc2f879f /games-strategy | |
| parent | Change all instances of [ to [[. (diff) | |
| download | gentoo-2-76da1e5d19f85cfbf72c8e918f196f02d0143b28.tar.gz gentoo-2-76da1e5d19f85cfbf72c8e918f196f02d0143b28.tar.bz2 gentoo-2-76da1e5d19f85cfbf72c8e918f196f02d0143b28.zip | |
Change all instances of [ to [[.
(Portage version: 2.1.2.1)
Diffstat (limited to 'games-strategy')
| -rw-r--r-- | games-strategy/netpanzer/ChangeLog | 6 | ||||
| -rw-r--r-- | games-strategy/netpanzer/files/netpanzer-ded | 4 | ||||
| -rw-r--r-- | games-strategy/netpanzer/files/netpanzer.rc | 6 |
3 files changed, 10 insertions, 6 deletions
diff --git a/games-strategy/netpanzer/ChangeLog b/games-strategy/netpanzer/ChangeLog index bb51ef9611a6..edfad80e3d37 100644 --- a/games-strategy/netpanzer/ChangeLog +++ b/games-strategy/netpanzer/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for games-strategy/netpanzer # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/games-strategy/netpanzer/ChangeLog,v 1.23 2007/02/07 16:45:06 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/games-strategy/netpanzer/ChangeLog,v 1.24 2007/03/07 17:30:56 wolf31o2 Exp $ + + 07 Mar 2007; Chris Gianelloni <wolf31o2@gentoo.org> files/netpanzer.rc, + files/netpanzer-ded: + Change all instances of [ to [[. 07 Feb 2007; Michael Sterrett <mr_bones_@gentoo.org> -files/netpanzer-0.8-gcc41.patch, diff --git a/games-strategy/netpanzer/files/netpanzer-ded b/games-strategy/netpanzer/files/netpanzer-ded index 4d8128d15e84..d6dd85193641 100644 --- a/games-strategy/netpanzer/files/netpanzer-ded +++ b/games-strategy/netpanzer/files/netpanzer-ded @@ -1,9 +1,9 @@ #!/bin/sh running=yes -while [ $running = yes ]; do +while [[ $running = yes ]] ; do /usr/games/bin/netpanzer --game_config=/etc/netpanzer-ded.ini -d $@ - if [ $? -ge 128 ]; then + if [[ $? -ge 128 ]] ; then echo "`date`: Restarting server after crash" # wait a bit to not blow cpu and logfiles on constant crashs sleep 30 diff --git a/games-strategy/netpanzer/files/netpanzer.rc b/games-strategy/netpanzer/files/netpanzer.rc index 633290976fe1..1261fb5099a3 100644 --- a/games-strategy/netpanzer/files/netpanzer.rc +++ b/games-strategy/netpanzer/files/netpanzer.rc @@ -1,7 +1,7 @@ #!/sbin/runscript # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/games-strategy/netpanzer/files/netpanzer.rc,v 1.2 2007/02/07 09:21:49 nyhm Exp $ +# $Header: /var/cvsroot/gentoo-x86/games-strategy/netpanzer/files/netpanzer.rc,v 1.3 2007/03/07 17:30:56 wolf31o2 Exp $ depend() { need net @@ -16,11 +16,11 @@ start() { stop() { ebegin "Stopping netpanzer dedicated server" local pid=`screen -list | grep netpanzer-ded | awk -F . '{print $1}' | sed -e s/.//` - if [ -z "${pid}" ] ; then + if [[ -z "${pid}" ]] ; then eend 1 "Lost screen session" else pid=`pstree -p ${pid} | sed -e 's:^.*netpanzer-ded(\([0-9]*\)).*:\1:'` - if [ -z "${pid}" ] ; then + if [[ -z "${pid}" ]] ; then eend 1 "Lost netpanzer-ded session" else kill ${pid} |