#!/bin/bash

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

TDB_CMD="$(basename $0)"
exec "${TDBROOT}/bin/${TDB_CMD}" "$@"