View source for Batch Results Retrieval in curl

<syntaxhighlight lang="bash" line="1" >
#! /bin/sh 

########################################################################
#
#  Example client to retrieve results for a batch job previously submitted
#
#  Output will be a ZIP file containing results for each input file in
# the requested format (XML, json, conll)
#
########################################################################

# Get query parameters
echo -n "TextServer username: "
read USERNAME
echo -n "TextServer Job Token ID: "
read TKID
echo -n "Output ZIP file: "
read OUTFNAME

TEXTSERVER_URL="http://frodo.lsi.upc.edu:8080/TextWS/textservlet/ws"

echo "Polling server for job completion..."
curl -X POST -s -S \
    --form "username=$USERNAME"  \
    --form "tokenID=$TKID"  \
    $TEXTSERVER_URL"/resultRetrieve" >$OUTFNAME

if ( grep -q '\[TS-125\]' $OUTFNAME ); then
  # server returned HTTP 503, with TextSErver code [TS-125], which means job not finished
  echo "Job not finished yet"
  rm $OUTFNAME
  exit
elif ( grep -q '\[TS-' $OUTFNAME ); then
  # some other error from TextServer 
  cat $OUTFNAME
  echo ""
  rm $OUTFNAME
  exit
fi

# no error, we got the results.
echo "Job finished. Results saved to "$OUTFNAME
</syntaxhighlight>