#!/bin/bash

CMD="$(basename $0)"

if [ "$TDBROOT" == "" ]
then
    echo "TDBROOT not set" 1>&2
    exit 1
    fi

exec "${TDBROOT}/bin/$CMD" "$@"