#!/bin/bash
# start up pantasks_client
# 1st argument is the name of the host to connect to

server_arg=""
server_host=$1

if [ $server_host ]; then
   server_arg="-D PANTASKS_SERVER $server_host"
fi

echo pantasks_client $server_arg
pantasks_client $server_arg
