diff options
Diffstat (limited to 'dev-db/monetdb/files/monetdb-start.sh')
| -rw-r--r-- | dev-db/monetdb/files/monetdb-start.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-db/monetdb/files/monetdb-start.sh b/dev-db/monetdb/files/monetdb-start.sh index b43f4d924e3b..6381e3aed6ec 100644 --- a/dev-db/monetdb/files/monetdb-start.sh +++ b/dev-db/monetdb/files/monetdb-start.sh @@ -8,7 +8,7 @@ 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 -eq $MPID ]; then +if [ "$ALIVE" == "$MPID" ]; then echo $MPID > ~monetdb/Mserver.pid else echo Mserver died immediately |