#!/bin/bash

BASE_DIR=$(dirname $(echo $(cd $(dirname $0);pwd)))

DATABASE_DIR=$BASE_DIR/database
PID_FILE=$DATABASE_DIR/pid

if [ -f $PID_FILE ]
then
  echo "Stopping development Groonga server..."
  pid=$(cat $PID_FILE)
  kill $pid
  rm -f $PID_FILE
  exit 0
else
  echo "Development Groonga server is not running."
  exit 1
fi