#!/bin/bash

if [ "x$VOL_CHECKER_HOME" = "x" ] ; then
  echo "Error: VOL_CHECKER_HOME not set.  Have you sourced ./SETUP.bash?" 1>&2
  exit 1
fi

if [ ! -d "$jetty_dist/webapps/vol-checker" ] ; then
  echo "Creating $jetty_dist/webapps/vol-checker"
  mkdir "$jetty_dist/webapps/vol-checker"
fi

echo "Copying WebContent/* to $jetty_dist/webapps/vol-checker/."
/bin/cp -r WebContent/* "$jetty_dist/webapps/vol-checker/."