#!/bin/bash
# Start up a pantasks server
# Output is redirected to files

server_redirect="-D PANTASKS_SERVER_STDOUT pantasks.stdout.log -D PANTASKS_SERVER_STDERR pantasks.stderr.log"

echo pantasks_server $server_redirect
pantasks_server $server_redirect
