diff options
Diffstat (limited to 'initscript')
| -rw-r--r-- | initscript/stap-server.in | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/initscript/stap-server.in b/initscript/stap-server.in index f00110b0..48808eb4 100644 --- a/initscript/stap-server.in +++ b/initscript/stap-server.in @@ -311,11 +311,12 @@ start () { # server-list # Start the server here. local server_status=`stat_file $spec` - runuser -s /bin/bash - $STAP_USER -c "$STAP_START_SERVER -r $release -a $arch --log=$LOG_FILE > $server_status" + runuser -s /bin/bash - $STAP_USER -c "$STAP_START_SERVER -r $release -a $arch --log=$LOG_FILE" > $server_status if [ $? != 0 ]; then rm -f $server_status do_failure $"$prog start: unable to start stap-server for $release $arch" rc=1 + continue fi do_success $"$prog start for $release $arch" @@ -360,9 +361,10 @@ stop () { # server-list rc=1 fi fi - [ $this_rc = 0 ] && rm -f $server_status_file - - do_success $"$prog stop for $release_arch" + if [ $this_rc = 0 ]; then + rm -f $server_status_file + do_success $"$prog stop for $release_arch" + fi done return $rc |