#! /bin/bash
path=`pwd`

if [ "$1" == "Debug" ]; then
	$path/dbserver_d $path/DBServerLinux.txt
else
	$path/dbserver_r $path/DBServerLinux.txt
fi