#! /bin/sh
#=========================================================================
# Copyright (C) GemTalk Systems 1986-2014.  All Rights Reserved..
#
# Name - stopstone.sh
#
# $Id: stopstone.sh 32752 2014-02-28 22:11:10Z stever $
#
#=========================================================================
if [ "x$GEMSTONE" = "x" ]; then
  echo "stopstone[Error]: GEMSTONE environment variable is not defined."
  exit 1
fi
exec "$GEMSTONE/sys/gem" stopstone "$@"
