View source for Batch Results Retrieval in PHP

<syntaxhighlight lang="php" line="1" >
#! /usr/bin/php5

<?php

//////////////////////////////////////////////////////////////////
//
// Example client to retrieve the results of a batch request to TextServer  
//
//  Output will be a ZIP file containing results for each input file in
// the requested format (XML, json, conll)
//
/////////////////////////////////////////////////////////////////
  
  echo 'TextServer Username: '; $user = rtrim(fgets(STDIN));
  echo 'TextServer Job Token ID: '; $tkid = rtrim(fgets(STDIN));
  echo 'Output ZIP file: '; $outfile = rtrim(fgets(STDIN));

  // build request
  $TextServer_URL="http://frodo.lsi.upc.edu:8080/TextWS/textservlet/ws";

  // prepare request to poll for completion and retrieve results
  $h = curl_init();
  curl_setopt($h, CURLOPT_URL, $TextServer_URL."/resultRetrieve"); 
  curl_setopt($h, CURLOPT_POST, true);
  curl_setopt($h, CURLOPT_POSTFIELDS, array(
                                       'username' => $user,
                                       'tokenID' => $tkid,
                                      ) );
  curl_setopt($h, CURLOPT_HEADER, false);
  curl_setopt($h, CURLOPT_RETURNTRANSFER, 1);

  // execute request   
  $result = curl_exec($h);
  // get status
  $err = curl_getinfo($h, CURLINFO_HTTP_CODE);
  // close connection
  curl_close($h);

  if ($err == 503 and strpos($result, '[TS-125]')!==FALSE) {
    // http status 503, textserver code TS-125 means the job is not finished yet.
    print "Job not finished yet\n";
    exit(0);
  }
  else if ($err !== 200) {
    // some other unexpected error happened. Report it
    print "HTTP ".$err." - ".$result."\n";
    exit(1);
  }

  // response is ok, the job is done and we got the results. 
  // write results to output ZIP file.
  $outf = fopen($outfile, "wb");
  fwrite($outf, $result);
  fclose($outf);
  print "Job finished. Results saved to ".$outfile."\n";
 
?>
</syntaxhighlight>