print_semesters.php

<?
//Given MSA files, report for each the semesters.
array_shift($argv);
if (!$argv) $argv = array('php://stdin');

foreach ($argv as $file) {
        $in = new SplFileObject($file, 'r');
        $semesters = array();
        foreach($in as $l)
                if (preg_match('/\d{5}_([^_]+)_.*\|(\d{4})$/',$l,$m))
                        $semesters[$m[2].'_'.$m[1]] = true;
        ksort($semesters);
        echo $file.': '.implode(" ",array_keys($semesters))."\n";
        unset($in);
}