}
foreach $i (@filenames) {
- my ($type,$name) = split(/,/, $i);
+ my ($type,$name,$flags) = split(/, /, $i);
+ my ($flagscic, $flagstypes) = split(/,/, $flags);
+ $flagscic =~ s/^<(.*)/$1/;
+ $flagstypes =~ s/(.*)>$/$1/;
if ($type eq "dir") {
$output .= <<EOT;
<tr>
$output .= <<EOT;
<tr>
<td><img border="0" src="/icons/generic.red.gif" alt="[DIR]"></td>
-<td><a href="" target="theory" onClick="this.href=makeURL('theory','$uri$name','$processor_url','$getter_url')" onMouseOver="window.status='$uri$name'; return true">$name</a>
+<td><a href="" target="theory" onClick="this.href=makeURL('theory','$uri$name','$processor_url','$getter_url','$flagscic','$flagstypes')" onMouseOver="window.status='$uri$name'; return true">$name</a>
</tr>
EOT
} else {