Index: trunk/tools/start_pantasks_server
===================================================================
--- trunk/tools/start_pantasks_server	(revision 19414)
+++ trunk/tools/start_pantasks_server	(revision 19414)
@@ -0,0 +1,8 @@
+#!/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