#!/bin/csh
#
# DropDB
#
if ($1 == "") then
  echo " "
  echo Usage: "$0 <Database Name>"
  echo " "
  exit
endif

#destroydb $1
dropdb $1
