diff options
| author |   Fabian Groffen <grobian@gentoo.org> | 2006-01-26 13:45:11 +0000 |
|---|---|---|
| committer | Fabian Groffen <grobian@gentoo.org> | 2006-01-26 13:45:11 +0000 |
| commit | f9a203ee2ce105af6230753068001c61c0363efb (patch) | |
| tree | 598a0c75992f151de2a428747a166d1ddf67b171 /dev-db | |
| parent | Marked ~hppa (bug #119461). (diff) | |
| download | gentoo-2-f9a203ee2ce105af6230753068001c61c0363efb.tar.gz gentoo-2-f9a203ee2ce105af6230753068001c61c0363efb.tar.bz2 gentoo-2-f9a203ee2ce105af6230753068001c61c0363efb.zip | |
Small fix for the startup script
(Portage version: 2.0.54)
Diffstat (limited to 'dev-db')
| -rw-r--r-- | dev-db/monetdb/files/monetdb-start.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-db/monetdb/files/monetdb-start.sh b/dev-db/monetdb/files/monetdb-start.sh index 6381e3aed6ec..d9f25ad106c4 100644 --- a/dev-db/monetdb/files/monetdb-start.sh +++ b/dev-db/monetdb/files/monetdb-start.sh @@ -7,8 +7,8 @@ MPID=$! echo `date` Mserver started, PID: $MPID >> $LOG rm -f ~monetdb/Mserver.pid > /dev/null sleep 2 -ALIVE=`ps --no-heading --format pid -p $MPID` -if [ "$ALIVE" == "$MPID" ]; then +ALIVE=`ps --no-heading --format pid -p $MPID | sed 's- --'` +if [ "$ALIVE" = "$MPID" ]; then echo $MPID > ~monetdb/Mserver.pid else echo Mserver died immediately |