#!/bin/sh
#
# Licensed to the Apache Software Foundation (ASF) under one or more
# contributor license agreements.  See the NOTICE file distributed with
# this work for additional information regarding copyright ownership.
# The ASF licenses this file to You under the Apache License, Version 2.0
# (the "License"); you may not use this file except in compliance with
# the License.  You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

DIR=/RDFStore

RUNDIR=$DIR/run

test -d $RUNDIR || exit 1

if [ $# = 0 ]; then
	PIDFILE=$RUNDIR/dbmsd.pid
else
        PIDFILE=$1
fi
 
echo 'Stoppping DBMS server....'
echo 'First kills....'

if [ -f $PIDFILE ] ; then
        PID=`cat $PIDFILE`
        if [ "x$PID" != "x" ] && kill -0 $PID 2>/dev/null ; then
                kill -15 $PID;
        else
                echo not a valid PID=$PID in $PIDFILE
                rm -f $PID;
                exit 1
        fi
else
        echo no $PIDFILE found
        exit 1
fi
 
echo DONE
exit 0