echo '<input type="hidden" name="userid" value="' . $userid . '">';
// echo '<input type="hidden" name="userpwd" value="'.$_POST["userpwd"].'">';
echo "<INPUT TYPE=\"SUBMIT\" value=\"Expire It Now\" id=\"ExpireItNowButton\">";
echo '</FORM>';
echo '</div>';
// exit(-1);
} else {
$filename = $dir . "analysis_result";
if (file_exists($filename)) {
echo "Analysis result generated at " . date("Y/n/j H:i:s.", filemtime($filename)) . "<br/><br/>";
}
}
$filename = $dir . "time.report.final";
if (file_exists($filename)) {
//$file = fopen($filename, "rt");
$TR = LoadConfigFromFile($filename);
$span = (int) $TR["time"][0];
$timeout = (int) $TR["timeout"][0];
$minute = (int) ($span / 60);
$second = $span % 60;
if ($timeout == 1) {
echo "<font size=3 color=red>Analysis takes longer than expected. Process aborted !!!<br/><br/></font>";
}
echo "<font size=3 color=\"#9900CC\">time spent in analysis: {$minute} minutes {$second} seconds<br/><br/></font>";
//fclose($file);
}
$filepath = $dir . "sha1.report.final";
if (file_exists($filepath)) {
show_text_file($filepath);
}
echo "<br/>";
}
return false;
}
////// Load config ////////////////
function LoadConfigFromFile($config_file)
{
$CONFIG_SET = array();
$file = fopen($config_file, "rt");
if ($file != false) {
while (!feof($file)) {
$buf = fgets($file, 1024);
if (strstr($buf, "=")) {
$property = trim(strtok($buf, "="));
$value_collection = strtok("=");
$value = explode(",", $value_collection);
for ($k = 0; $k < count($value); $k++) {
$value[$k] = trim($value[$k]);
$value[$k] = substr($value[$k], 1, strlen($value[$k]) - 2);
}
$CONFIG_SET[$property] = $value;
}
}
fclose($file);
}
return $CONFIG_SET;
}
$CONFIG_SET = LoadConfigFromFile($config_file);
//var_dump($CONFIG_SET);
//var_dump(GetConfigValueList("deadline"));
//var_dump(GetConfigValueList("illegal_header"));
////////////////////////////
