annotate pseudo.php @ 2199:e20c2997daa1

Change BibTeX citation key in CITING.txt
author Brecht De Man <b.deman@qmul.ac.uk>
date Wed, 06 Apr 2016 13:57:21 +0100
parents 175cf75946f7
children
rev   line source
nickjillings@1289 1 <?php
nickjillings@1289 2 header('Access-Control-Allow-Origin: *');
nickjillings@1289 3 header("Content-type: text/xml");
nickjillings@1289 4 $files = glob('saves/' . '*.xml');
nickjillings@1289 5 $numsaves = 0;
nickjillings@1289 6 if ( $files !== false )
nickjillings@1289 7 {
nickjillings@1289 8 $numsaves = count( $files );
nickjillings@1289 9 }
nickjillings@1289 10
nickjillings@1289 11 $files = glob('pseudo/' . '*.xml');
nickjillings@1289 12 $numtests = 0;
nickjillings@1289 13 if ( $numtests !== false )
nickjillings@1289 14 {
nickjillings@1289 15 $numtests = count( $files );
nickjillings@1289 16 }
nickjillings@1289 17
nickjillings@1289 18 $testID = ($numsaves % $numtests)-1;
nickjillings@1289 19
nickjillings@1289 20 readfile($files[$testID]);
nickjillings@1289 21 ?>