#!/bin/sh
# $Id: $

# ---------------------------------------------------------
# ---------------------------------------------------------
# -- start Derby Network Server
# ---------------------------------------------------------

# This call does all the setup
"`dirname "$0"`/derbyrun" shutdown