/**
* Shows number of database queries and the time it takes for a page to load
*/
public function showQueriesAndTime($h)
{
if ($h->isDebug) {
$mysql_version = $h->db->get_var("SELECT VERSION() AS VE");
echo "<p class='debug'>";
echo $h->lang['main_hotaru_db_queries'] . $h->db->num_queries . " | ";
echo $h->lang['main_hotaru_page_load_time'] . timer_stop(1) . $h->lang['main_times_secs'] . " | ";
echo $h->lang['main_hotaru_memory_usage'] . display_filesize(memory_get_usage()) . " | ";
echo $h->lang['main_hotaru_php_version'] . phpversion() . " | ";
echo $h->lang['main_hotaru_mysql_version'] . $mysql_version . " | ";
echo $h->lang['main_hotaru_hotaru_version'] . $h->version;
echo "</p>";
}
if ($h->currentUser->loggedIn) {
echo "<span id='loggedIn' class='loggedIn_true'/>";
} else {
"<span id='loggedIn' class='loggedIn_false'/>";
}
}
/**
* Shows number of database queries and the time it takes for a page to load
*/
public function showQueriesAndTime($h)
{
if ($h->isDebug && $h->currentUser->isAdmin) {
$mysql_version = $h->db->get_var("SELECT VERSION() AS VE");
echo "<p class='debug'><span class='label label-default'>Admin Only</span> ";
echo $h->lang('main_hotaru_db_queries') . $h->db->num_queries . " | ";
echo $h->lang('main_hotaru_cache_queries') . $h->db->num_cache_queries . " | ";
echo $h->lang('main_hotaru_page_load_time') . timer_stop(3, 'hotaru') . $h->lang('main_times_secs') . " | ";
if (function_exists('memory_get_usage')) {
echo $h->lang('main_hotaru_memory_usage') . display_filesize(memory_get_usage(true)) . " | ";
//echo $h->lang('main_hotaru_memory_usage_peak') . display_filesize(memory_get_peak_usage(true)) . " | ";
}
//echo "h->vars: " . sizeofvar($h->vars) . " | ";
echo $h->lang('main_hotaru_php_version') . phpversion() . " | ";
echo $h->lang('main_hotaru_mysql_version') . $mysql_version . " | ";
echo $h->lang('main_hotaru_hotaru_version') . $h->version;
echo ' (' . $h->vars['debug']['db_driver'] . ') ';
$h->pluginHook('debug_footer');
echo "</p>";
} else {
if (!$h->adminPage && $h->pageTemplate && function_exists('file_get_contents')) {
$filename = THEMES . THEME . $h->pageTemplate . '.php';
if (file_exists($filename)) {
$template = file_get_contents($filename);
$hlink1 = stripos($template, "href='http://hotarucms.org'");
$hlink2 = stripos($template, "href=\"http://hotarucms.org\"");
if ($hlink1 === FALSE && $hlink2 === FALSE) {
// Hotaru link removed from footer so put it back in:
echo '<a href="http://hotarucms.org" title="' . $h->lang("main_theme_footer_hotaru_link") . '"><div id="hotaruFooterImg"></div></a>';
}
}
}
}
if ($h->currentUser->loggedIn) {
echo "<span id='loggedIn' class='loggedIn_true'/>";
} else {
echo "<span id='loggedIn' class='loggedIn_false'/>";
}
}
<tr>
<th valign=top align=right><?php
echo msg('historypage_category');
?>
</th><td><?php
echo e::h($category);
?>
</td>
</tr>
<tr>
<th valign=top align=right><?php
echo msg('historypage_file_size');
?>
</th><td> <?php
echo display_filesize($filename);
?>
</td>
</tr>
<tr>
<th valign=top align=right><?php
echo msg('historypage_creation_date');
?>
</th><td> <?php
echo fix_date($created);
?>
</td>
</tr>
<tr>
}
// No subject? Give them the default
if (isset($reviewer_comments_fields[1]) && strlen($reviewer_comments_fields[1]) <= strlen('Subject=')) {
$reviewer_comments_fields[1] = 'Subject=Comments regarding the review for your documentation';
}
// No To? Give them the default
if (isset($reviewer_comments_fields[0]) && strlen($reviewer_comments_fields[0]) <= strlen('to=')) {
$reviewer_comments_fields[0] = 'To=Author(s)';
}
if ($file_data_obj->isArchived()) {
$filename = $GLOBALS['CONFIG']['archiveDir'] . $request_id . '.dat';
$file_size = display_filesize($filename);
} else {
$filename = $GLOBALS['CONFIG']['dataDir'] . $request_id . '.dat';
if (!isset($file_size)) {
$file_size = display_filesize($filename);
}
}
// display red or green icon depending on file status
if ($status == 0 && $user_perms_obj->canView($request_id)) {
$file_unlocked = true;
} else {
$file_unlocked = false;
}
//chm sahar
if (!empty($revision_id)) {
$query = "\n SELECT\n u.last_name,\n u.first_name,\n l.modified_on,\n l.note,\n l.revision\n FROM\n {$GLOBALS['CONFIG']['db_prefix']}log l,\n {$GLOBALS['CONFIG']['db_prefix']}user u\n WHERE\n l.id = :log_id\n AND\n u.username = l.modified_by\n AND\n l.revision = :revision_id\n ORDER BY\n l.modified_on DESC";
$stmt = $pdo->prepare($query);
$stmt->execute(array(':log_id' => $request_id, ':revision_id' => $revision_id));
$revisionData = $stmt->fetchAll();
} else {
/**
* list_files - Display a list of files
* @return NULL
* @param array $fileid_array
* @param object $userperms_obj
* @param string $dataDir
* @param boolean $showCheckBox
* @param boolean $rejectpage
*/
function list_files($fileid_array, $userperms_obj, $dataDir, $showCheckBox = false, $rejectpage = false)
{
global $pdo;
if (sizeof($fileid_array) == 0 || !isset($fileid_array[0])) {
echo '<img src="images/exclamation.gif">' . msg('message_no_files_found') . PHP_EOL;
return -1;
}
foreach ($fileid_array as $fileid) {
$file_obj = new FileData($fileid, $pdo);
$userAccessLevel = $userperms_obj->getAuthority($fileid, $file_obj);
$description = $file_obj->getDescription();
if ($file_obj->getStatus() == 0 and $userAccessLevel >= $userperms_obj->VIEW_RIGHT) {
$lock = false;
} else {
$lock = true;
}
if ($description == '') {
$description = msg('message_no_description_available');
}
$created_date = fix_date($file_obj->getCreatedDate());
if ($file_obj->getModifiedDate()) {
$modified_date = fix_date($file_obj->getModifiedDate());
} else {
$modified_date = $created_date;
}
$full_name_array = $file_obj->getOwnerFullName();
$owner_name = $full_name_array[1] . ', ' . $full_name_array[0];
$dept_name = $file_obj->getDeptName();
$realname = $file_obj->getRealname();
//Get the file size in bytes.
$filesize = display_filesize($dataDir . $fileid . '.dat');
if ($userAccessLevel >= $userperms_obj->READ_RIGHT) {
$suffix = strtolower(substr($realname, strrpos($realname, ".") + 1));
$mimetype = File::mime_by_ext($suffix);
$view_link = 'view_file.php?submit=view&id=' . urlencode(e::h($fileid)) . '&mimetype=' . urlencode("{$mimetype}");
} else {
$view_link = 'none';
}
$details_link = 'details.php?id=' . e::h($fileid) . '&state=' . e::h($_REQUEST['state'] + 1);
$read = array($userperms_obj->READ_RIGHT, 'r');
$write = array($userperms_obj->WRITE_RIGHT, 'w');
$admin = array($userperms_obj->ADMIN_RIGHT, 'a');
$rights = array($read, $write, $admin);
$index_found = -1;
//$rights[max][0] = admin, $rights[max-1][0]=write, ..., $right[min][0]=view
//if $userright matches with $rights[max][0], then this user has all the rights of $rights[max][0]
//and everything below it.
for ($i = sizeof($rights) - 1; $i >= 0; $i--) {
if ($userAccessLevel == $rights[$i][0]) {
$index_found = $i;
$i = 0;
}
}
//Found the user right, now bold every below it. For those that matches, make them different.
//For everything above it, blank out
for ($i = $index_found + 1; $i < sizeof($rights); $i++) {
$rights[$i][1] = '-';
}
$file_list_arr[] = array('id' => $fileid, 'view_link' => $view_link, 'details_link' => $details_link, 'filename' => $realname, 'description' => $description, 'rights' => $rights, 'created_date' => $created_date, 'modified_date' => $modified_date, 'owner_name' => $owner_name, 'dept_name' => $dept_name, 'filesize' => $filesize, 'lock' => $lock, 'showCheckbox' => $showCheckBox, 'rejectpage' => $rejectpage);
//print_r($file_list_arr);exit;
}
$limit_reached = false;
if (count($file_list_arr) >= $GLOBALS['CONFIG']['max_query']) {
$limit_reached = true;
}
$GLOBALS['smarty']->assign('limit_reached', $limit_reached);
$GLOBALS['smarty']->assign('showCheckBox', $showCheckBox);
//print_r($file_list_arr);exit;
$GLOBALS['smarty']->assign('file_list_arr', $file_list_arr);
//print_r($GLOBALS['smarty']);
// Call the plugin API
callPluginMethod('onBeforeListFiles', $file_list_arr);
display_smarty_template('out.tpl');
callPluginMethod('onAfterListFiles');
}
/**
* Upload and save the file in the plugin's uploads folder
*
* @return string|false
*/
public function save_uploaded_file($h)
{
/* *****************************
* ****************************/
// EDIT THIS TO INCREASE FILE SIZE LIMIT
$size_limit = 104857600;
// 100MB
/* *****************************
* ****************************/
$tmp_filepath = $h->cage->files->getRaw('/file/tmp_name');
$file_name = basename($h->cage->files->sanitizeTags('/file/name'));
$file_type = $h->cage->files->testPage('/file/type');
$file_size = $h->cage->files->testInt('/file/size');
$file_error = $h->cage->files->testInt('/file/error');
$destination = PLUGINS . "pligg_importer/uploads/";
if ($file_type == "text/xml" && $file_size < $size_limit) {
if ($file_error > 0) {
$h->message = "Error: code " . $file_error;
$h->messageType = "red";
$h->showMessage();
return false;
} else {
if (!move_uploaded_file($tmp_filepath, $destination . $file_name)) {
$h->message = "Failed to move the file to the pligg_importer uploads folder.";
$h->messageType = "red";
$h->showMessage();
return false;
}
$h->message = "Uploaded succesfully!";
$h->messageType = "green";
$h->showMessage();
$h->vars['status'] = "uploaded";
return $file_name;
}
} else {
if ($file_type != "text/xml") {
$h->message = "Invalid file: Must be <i>text/xml</i>";
} elseif ($file_size >= $size_limit) {
$h->message = "Invalid file: Exceeded " . display_filesize($file_size);
}
$h->messageType = "red";
$h->showMessage();
return false;
}
}
function display_problem()
{
global $admin, $currentmessage, $defaultlang, $maxcodesize, $execoptions;
if ($admin["mode"] == "Lockdown" && $_SESSION["tid"] == 0) {
$_SESSION["message"] = $currentmessage;
$_SESSION["message"][] = "Access Denied : The contest is currently in Lockdown Mode. Please try again later.";
echo "<script>window.location='?display=faq';</script>";
return;
}
if (isset($_GET["pid"]) && !empty($_GET["pid"])) {
$pid = $_GET["pid"];
} else {
$pid = 0;
}
if ($_SESSION["status"] == "Admin") {
$data = mysql_query("SELECT * FROM problems WHERE pid={$pid} ");
} else {
$data = mysql_query("SELECT * FROM problems WHERE status='Active' and pid={$pid}");
}
if ($pid != 0) {
if (!is_resource($data) || mysql_num_rows($data) != 1) {
$_SESSION["message"] = $currentmessage;
$_SESSION["message"][] = "Problem Access Error : The problem you requested does not exist or is currently inactive.";
$pid = 0;
}
}
if ($pid == 0) {
echo "<center>";
//echo "<h2>Problems Index</h2>";
if (($g = mysql_getdata("SELECT distinct pgroup FROM problems WHERE status='Active' ORDER BY pgroup")) != NULL) {
$t = array();
foreach ($g as $gn) {
$t[] = $gn["pgroup"];
}
$g = $t;
unset($t);
if (in_array("", $g)) {
unset($g[array_search("", $g)]);
$g[] = "";
}
// make groups array.
echo "<div class='filter'><b>Select Group<b> : <select style='width:150px;' id='category-select' onChange=\"\$('input#query').attr('value',''); problem_search(); if(this.value==0){ \$('span.group').slideDown(250); } else { for(i=1;i<=" . count($g) . ";i++){ if(this.value=='group'+i) \$('span#group'+i).slideDown(250); else \$('span#group'+i).slideUp(250); } }\"><option value=0>All Groups</option>";
foreach ($g as $i => $gn) {
echo "<option value='group" . ($i + 1) . "'>" . eregi_replace("^#[0-9]+ ", "", $gn == "" ? "Unclassified" : $gn) . "</option>";
}
echo "</select> <input placeholder='Enter Search Term Here' id='query' onKeyUp=\"\$('#category-select').val(0); \$('span.group').slideDown(250); problem_search();\" style='text-align:center;'> <input type='button' value='Clear' onClick=\"\$('input#query').attr('value',''); problem_search();\"></div>";
if (($nac = mysql_getdata("SELECT distinct pid FROM runs WHERE tid={$_SESSION['tid']} AND result!='AC' AND access!='deleted'")) == NULL) {
$nac = array();
} else {
$t = array();
foreach ($nac as $sp) {
$t[] = $sp["pid"];
}
$nac = $t;
unset($t);
}
if (($ac = mysql_getdata("SELECT distinct pid FROM runs WHERE tid={$_SESSION['tid']} AND result='AC' AND access!='deleted'")) == NULL) {
$ac = array();
} else {
$t = array();
foreach ($ac as $sp) {
$t[] = $sp["pid"];
}
$ac = $t;
unset($t);
}
echo "<div id='probindex' class='probindex'>";
echo "<div class='probheaders2' style='display:none;'><h2>Search Results</h2>";
echo "<table><th>Problem ID</th><th>Problem Name</th><th>Problem Code</th><th>Problem Type</th><th>Score</th><th>Statistics</th></tr></table></div>";
foreach ($g as $i => $gn) {
echo "<span id='group" . ($i + 1) . "' class='group'><div class='probheaders1'><h2><a href='?display=submissions&pgr=" . urlencode($gn) . "'>Problem Group : " . eregi_replace("^#[0-9]+ ", "", $gn == "" ? "Unclassified" : $gn) . "</a></h2>";
echo "<table><th>Problem ID</th><th>Problem Name</th><th>Problem Code</th><th>Problem Type</th><th>Score</th><th>Statistics</th></tr></table></div>";
$data = mysql_query("SELECT * FROM problems WHERE status='Active' and pgroup='" . $gn . "' ORDER BY pid");
while ($problem = mysql_fetch_array($data)) {
$t = mysql_query("SELECT (SELECT count(*) FROM runs WHERE pid={$problem['pid']} AND result='AC' AND access!='deleted') as ac, (SELECT count(*) FROM runs WHERE pid={$problem['pid']} AND access!='deleted') as tot");
if (is_resource($t) && mysql_num_rows($t) && ($t = mysql_fetch_array($t))) {
$statistics = "<a title='Accepted Solutions / Total Submissions' href='?display=submissions&pid={$problem['pid']}'>" . $t["ac"] . " / " . $t["tot"] . "</a>";
} else {
$statistics = "NA";
}
if ($_SESSION["tid"] < 1) {
$highlight = "NA";
} elseif (in_array($problem["pid"], $ac)) {
$highlight = "AC";
} elseif (in_array($problem["pid"], $nac)) {
$highlight = "NAC";
} else {
$highlight = "NA";
}
echo "<div class='problem'><table class='submission'><tr class='{$highlight}'><td><a href='?display=problem&pid={$problem['pid']}'>{$problem['pid']}</a></td><td><a href='?display=problem&pid={$problem['pid']}'>" . stripslashes($problem["name"]) . "</a></td><td><a href='?display=problem&pid={$problem['pid']}'>" . stripslashes($problem["code"]) . "</a></td>";
if ($admin["mode"] != "Active" || $_SESSION["status"] == "Admin") {
echo "<td><a href='#' onClick=\"\$('input#query').attr('value','" . $problem["type"] . "'); problem_search();\">" . stripslashes($problem["type"]) . "</td>";
} else {
echo "<td>NA</td>";
}
echo "<td><a href='?display=problem&pid={$problem['pid']}'>{$problem['score']}</a></td><td>{$statistics}</td></tr></table></div>";
}
echo "</span>";
}
}
echo "</div>";
return;
}
$data = mysql_fetch_array($data);
$statement = stripslashes($data["statement"]);
$statement = eregi_replace("\n", "<br>", $statement);
if ($_SESSION["status"] == "Admin") {
$statement2 = stripslashes($data["statement"]);
}
/* */
$statement = eregi_replace("<image ?/?>", "<img src='data:image/jpeg;base64,{$data['image']}' />", $statement);
$t = mysql_query("SELECT (SELECT count(*) FROM runs WHERE pid={$pid} AND result='AC' AND access!='deleted') as ac, (SELECT count(*) FROM runs WHERE pid={$pid} AND access!='deleted') as tot");
if (is_resource($t) && mysql_num_rows($t) && ($t = mysql_fetch_array($t))) {
$statistics = "<a title='Accepted Solutions / Total Submissions' href='?display=submissions&pid={$pid}'>" . $t["ac"] . "/" . $t["tot"] . "</a>";
} else {
$statistics = "NA";
}
$pgroup = eregi_replace("^#[0-9]+ ", "", $data["pgroup"]);
echo "<center><h2>Problem : {$data['name']} (" . $pgroup . " Group)</h2><table width=100%>\r\n\t\t<tr><th>Problem ID</th><th>{$pid}</th><th>Input File Size</th><th>" . display_filesize(strlen($data["input"])) . "</th><th><a href='?display=submissions&pid={$pid}'>Submissions</a></th><th>{$statistics}</th></tr>\r\n\t\t<tr><th>Problem Code</th><th>{$data['code']}</th><th>Time Limit</th><th>{$data['timelimit']} sec</th><th>Points</th><th>{$data['score']}</th></tr>";
if ($_SESSION["status"] == "Admin") {
echo "<tr><th>Special Options</th><th colspan=3>" . $execoptions[$data["options"]] . "</th><th colspan=2><input type='button' value='" . ((isset($_GET["edit"]) and $_GET["edit"] == "0") ? "Reset" : "Edit") . " HTML Source' onClick=\"window.location=window.location.search.replace('&edit=0','')+'&edit=0';\"></th></tr>";
}
echo "<tr><td colspan=20 style='text-align:left;padding:20;'>";
if ($_SESSION["status"] == "Admin" and isset($_GET["edit"]) and $_GET["edit"] == "0") {
echo "<form method='post' action='?action=updateproblemhtml&pid={$pid}'><textarea name='statement' id='statement' class='code'>" . $statement2 . "</textarea><br><br><center><input type='submit' value='Update Problem Statement'> <input type='button' value='Cancel' onClick=\"window.location=window.location.search.replace('&edit=0','');\"></center></form>";
} else {
echo $statement;
}
echo "</td></tr><tr><td colspan=20 style='text-align:left;padding:20;'><b>Language(s) Allowed</b> : ";
echo eregi_replace("Brain", "Brainf**k", eregi_replace(",", ", ", $data["languages"]));
echo "</td></tr>";
$languages = "";
if (isset($data["languages"])) {
foreach (explode(",", $data["languages"]) as $l) {
if ($l == "Brain") {
if ($l == $defaultlang) {
$languages .= "<option value='Brain' selected='selected'>Brainf**k</option>";
} else {
$languages .= "<option value='Brain'>Brainf**k</option>";
}
} else {
if ($l == $defaultlang) {
$languages .= "<option selected='selected'>" . $defaultlang . "</option>";
} else {
$languages .= "<option>{$l}</option>";
}
}
}
}
$data = mysql_query("SELECT * FROM clar WHERE access='Public' and clar.pid={$pid} ORDER BY time ASC");
if (is_resource($data) && mysql_num_rows($data) > 0) {
if (mysql_num_rows($data)) {
echo "<tr><th colspan=20><a href='?display=clarifications'>Clarifications</a></th></tr><tr><td colspan=20 style='text-align:left;padding:20;'>";
while ($temp = mysql_fetch_array($data)) {
$teamname = mysql_query("SELECT teamname FROM teams WHERE tid=" . $temp["tid"]);
if (is_resource($teamname) && mysql_num_rows($teamname) == 1) {
$teamname = mysql_fetch_array($teamname);
$teamname = $teamname["teamname"];
} else {
$teamname = "Anonymous";
}
echo "<p><b><a href='?display=submissions&tid=" . $temp["tid"] . "'>" . filter($teamname) . "</a></b> : {$temp['query']}";
if (!empty($temp["reply"])) {
echo "<br><i><b>Response</b> : {$temp['reply']}</i>";
}
echo "</p>";
}
echo "</td></tr>";
}
}
echo "</table><br></center>";
if ($_SESSION["tid"] == 0) {
echo "<center>Please login to submit solutions.</center>";
} else {
if ($admin["mode"] != "Active" && $admin["mode"] != "Passive" && $_SESSION["status"] != "Admin") {
echo "<center>You can not submit solutions at the moment as the contest is not running. Please try again later.</center>";
} else {
if ($admin["mode"] == "Passive" && $_SESSION["status"] != "Admin" && eregi("^CQM\\-[0-9]+\$", $pgroup)) {
echo "<center>You can no longer submit solutions to this problem.</center>";
} else {
$placeholder = "Paste your code here, or select a file to upload.";
$editcode = "";
if (isset($_GET["edit"])) {
$rid = $_GET["edit"];
if (!is_numeric($rid)) {
$rid = 0;
}
$t = mysql_query("SELECT tid,language,code,access FROM runs WHERE rid={$rid} AND access!='deleted'");
if (is_resource($t) && mysql_num_rows($t) == 1) {
$run = mysql_fetch_array($t);
if ($_SESSION["tid"] == $run["tid"] || $run["access"] == "public" || $_SESSION["status"] == "Admin") {
$editcode = eregi_replace("<", "<", $run["code"]);
}
if ($run["language"] == "Brain") {
$run["language"] = "Brainf**k";
}
$languages = str_replace(">{$run['language']}</option>", " selected='selected'>{$run['language']}</option>", str_replace(" selected='selected'", "", $languages));
}
}
global $extension, $codemirror;
$extcompare = "";
foreach ($extension as $lang => $ext) {
$extcompare .= "if(ext=='{$ext}'){ \$('select#code_lang').attr('value','" . $lang . "'); } ";
}
echo "<center><h2>Submit Solution : {$data['name']}</h2>\r\n\t\t\t<script>function code_validate(){ if(document.forms['submitcode'].code_file.value=='' && document.forms['submitcode'].code_text.value==''){ alert('Code file not specified and textarea empty. Cannot submit nothing.'); return false; } if(document.forms['submitcode'].code_lang.value=='Java' && document.forms['submitcode'].code_file.value=='' && document.forms['submitcode'].code_text.value!=''){ x = prompt('You are copy-pasting Java code here. Please enter the class name you have used so\\nthat the server can create a source file of the same name while evaluating your code :\\n '); if(!x) return false; else \$('input#code_name').val(x); } document.forms['submitcode'].code_text.value=addslashes(document.forms['submitcode'].code_text.value); return true; }</script>\r\n\t\t\t<form action='?action=submitcode' method='post' name='submitcode' enctype='multipart/form-data' onSubmit=\"return code_validate();\"><input type='hidden' name='code_pid' value='{$pid}'>\r\n\t\t\t<table width=100%><tr><th>Language</th><th><select id='code_lang' name='code_lang'>" . $languages . "</select></th><input type='hidden' name='MAX_FILE_SIZE' value='{$maxcodesize}' />";
echo "<th>Code File</th><th><input type='file' name='code_file' style='width:200px;' onChange=\"if(this.value!=''){ filename = this.value.split('.'); ext = filename[filename.length-1]; {$extcompare} }\" /></th></tr>\r\n\t\t\t<tr><td colspan=20 style='text-align:left;'><textarea id='code_text' name='code_text' class='code' placeholder=\"{$placeholder}\" onChange=\"if(this.value!='') \$('select#code_mode').attr('value','Text');\">{$editcode}</textarea></td></tr></table>\r\n\t\t\t<table width=100%> <input type='hidden' name='code_name' id='code_name' value='code'>\r\n\t\t\t<tr><th><div class='small'>If you submit both File and Text (copy-pasted in the above textarea), the Text will be ignored.</div></th><th><input type='submit' value='Submit Code'></th></tr>\r\n\t\t\t</table></form></center>";
}
}
}
}
function sizeofvar($var)
{
$start_memory = memory_get_usage();
$var = unserialize(serialize($var));
return display_filesize(memory_get_usage() - $start_memory - PHP_INT_SIZE * 8);
}
function GetDirectorySize($path)
{
try {
$bytestotal = 0;
$path = realpath($path);
if ($path !== false) {
foreach (new RecursiveIteratorIterator(new RecursiveDirectoryIterator($path, FilesystemIterator::SKIP_DOTS)) as $object) {
$bytestotal += $object->getSize();
}
$bytestotal = '<span class="label label-primary">' . display_filesize($bytestotal) . '</span>';
}
} catch (Exception $e) {
//echo 'Caught exception: ', $e->getMessage(), "\n";
$bytestotal = '<span class="label label-default">n/a</span>';
}
return $bytestotal;
}
$first_name = $row['first_name'];
$realname = $row['realname'];
$created = $row['created'];
$description = $row['description'];
$status = $row['status'];
// correction
if ($description == '') {
$description = msg('message_no_information_available');
}
$filename = $GLOBALS['CONFIG']['dataDir'] . $id . '.dat';
// display list
$highlighted_color = '#bdf9b6';
echo '<tr valign="middle" bgcolor="' . $row_color . '" onmouseover="this.style.backgroundColor=\'' . $highlighted_color . '\';" onmouseout="this.style.backgroundColor=\'' . $row_color . '\';">';
echo '<td class="listtable"><div class="buttons"><a href="check-in.php?id=' . e::h($id) . '&state=' . e::h($_REQUEST['state'] + 1) . '" class="regular"><img src="images/import-2.png" alt="checkin"/>' . msg('button_check_in') . '</a></div>';
echo '</td>';
echo '<td class="listtable">' . e::h($realname) . '</td>';
echo '<td class="listtable">' . e::h($description) . '</td>';
echo '<td class="listtable">' . fix_date(e::h($created)) . '</td> ';
echo '<td class="listtable">' . e::h($last_name) . ', ' . e::h($first_name) . '</td> ';
echo '<td class="listtable">' . display_filesize(e::h($filename)) . '</td> ';
echo '</tr>';
if ($row_color == "#FCFCFC") {
$row_color = "#E3E7F9";
} else {
$row_color = "#FCFCFC";
}
}
// clean up
echo '</table>';
}
draw_footer();
function checkFilesize($filesize)
{
$maxFilesize = 40000;
//in bites, default 40Kb
if ($filesize < $maxFilesize) {
return;
} else {
//deixango o tamanho do arquivo mais legivel para o usuario
$filesize = display_filesize($filesize);
throw new Exception("File has more than 5KB, it have " . $filesize);
}
}
</h2>
<a class="btn btn-danger" href="<?php
echo SITEURL;
?>
admin_index.php?page=maintenance&action=delete_debugs#tab_debug">
<?php
echo $h->lang("admin_theme_maintenance_debug_delete");
?>
</a>
<a class="pull-right btn btn-primary" href="<?php
echo SITEURL;
?>
admin_index.php?page=maintenance&action=system_report#tab_debug">
<?php
echo $h->lang("admin_theme_maintenance_system_report");
?>
</a>
<br/>
<br/>
<?php
if ($h->vars['debug_files']) {
echo $h->lang("admin_theme_maintenance_debug_view") . "<br />";
foreach ($h->vars['debug_files'] as $file) {
echo "<a href='" . SITEURL . "admin_index.php?page=maintenance&debug=" . $file . "#tab_debug'>" . $file . "</a> ";
echo "<span class='label label-primary'>" . display_filesize(filesize(CACHE . 'debug_logs/' . $file)) . '</span>';
echo "<br />";
}
} else {
echo $h->lang("admin_theme_maintenance_debug_no_files");
}
function display_submissions()
{
global $admin, $fullresult, $currentmessage, $extension;
if ($admin["mode"] == "Lockdown" && $_SESSION["status"] != "Admin") {
$_SESSION["message"] = $currentmessage;
$_SESSION["message"][] = "Access Denied : The contest is currently in Lockdown Mode. Please try again later.";
echo "<script>window.location='?display=faq';</script>";
return;
}
$urlargs = "display=submissions";
foreach ($_GET as $key => $value) {
if ($key != "display" && $key != "page") {
$urlargs .= "&" . urlencode($key) . "=" . urlencode($value);
}
}
$rejudge = "action=rejudge";
$filter = array();
$filters = array();
if (isset($_GET["tid"]) && !empty($_GET["tid"]) && is_numeric($_GET["tid"])) {
$t = mysql_query("SELECT * FROM teams WHERE tid=" . $_GET["tid"] . " and (status='Normal' or status='Admin')");
if (is_resource($t) && mysql_num_rows($t)) {
$filter["tid"] = $_GET["tid"];
$teamdata = mysql_fetch_array($t);
$filters[] = "<a href='?" . str_replace("&tid={$filter['tid']}", "", $urlargs) . "'>{$teamdata['teamname']}</a>";
$rejudge .= "&tid={$filter['tid']}";
}
}
if (isset($_GET["pid"]) && !empty($_GET["pid"]) && is_numeric($_GET["pid"])) {
$t = mysql_query("SELECT * FROM problems WHERE pid=" . $_GET["pid"] . " and status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . ";");
if (is_resource($t) && mysql_num_rows($t)) {
$filter["pid"] = $_GET["pid"];
$probdata = mysql_fetch_array($t);
$filters[] = "<a href='?" . str_replace("&pid={$filter['pid']}", "", $urlargs) . "'>{$probdata['name']}</a>";
$rejudge .= "&pid={$filter['pid']}";
}
}
if (isset($_GET["lan"]) && !empty($_GET["lan"]) && key_exists($_GET["lan"], $extension)) {
$filter["language"] = $_GET["lan"];
$filters[] = "<a href='?" . str_replace("&lan=" . urlencode($filter["language"]), "", $urlargs) . "'>" . ($filter["language"] == "Brain" ? "Brainf**k" : $filter["language"]) . "</a>";
$rejudge .= "&lan=" . urlencode($_GET["lan"]);
}
if (isset($_GET["res"]) && !empty($_GET["res"]) && key_exists($_GET["res"], $fullresult)) {
$filter["result"] = $_GET["res"];
$filters[] = "<a href='?" . str_replace("&res={$filter['result']}", "", $urlargs) . "'>" . $fullresult[$filter["result"]] . "</a>";
$rejudge .= "&res=" . urlencode($_GET["res"]);
}
$condition = "";
foreach ($filter as $key => $value) {
if ($key == "result" && $value == "NA") {
$condition .= " AND (result='' OR result='...') ";
} else {
$condition .= "AND {$key}=" . (is_numeric($value) ? "{$value}" : "'{$value}'") . " ";
}
}
// Problem Groups - Special Condition
if (($g = mysql_getdata("SELECT distinct pgroup FROM problems WHERE status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . " ORDER BY pgroup")) != NULL) {
$t = array();
foreach ($g as $gn) {
$t[] = $gn["pgroup"];
}
$g = $t;
unset($t);
} else {
$g = array();
}
if (isset($_GET["pgr"]) && !empty($_GET["pgr"]) && in_array($_GET["pgr"], $g)) {
$t = mysql_query("SELECT * FROM problems WHERE pgroup='" . addslashes($_GET["pgr"]) . "' and status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . "");
if (is_resource($t) && mysql_num_rows($t)) {
$filter["pgroup"] = $_GET["pgr"];
$probdata = mysql_fetch_array($t);
$filters[] = "<a href='?" . str_replace("&pgr=" . urlencode($filter["pgroup"]), "", $urlargs) . "'>" . filter(eregi_replace("^#[0-9]+ ", "", $filter["pgroup"])) . "</a>";
$rejudge .= "&pgr={$filter['pgroup']}";
$condition .= " AND pid in (SELECT pid FROM problems WHERE pgroup='{$filter['pgroup']}')";
}
}
echo "<center>";
if (count($filter)) {
echo "<div class='filter'><b>Active Filter(s)</b> : " . implode($filters, " , ") . " (Click to Remove)</div>";
} else {
echo "<div class='filter'><b>Active Filter(s)</b> : None</div>";
}
if (isset($filter["tid"]) || isset($filter["pid"]) || !isset($filter["result"]) || !isset($filter["language"])) {
echo "<br><h3>";
}
if (isset($filter["tid"])) {
echo "<a onClick=\"\$('#team-information').slideToggle();\$('#problem-information').slideUp();\$('#submission-statistics').slideUp();\" title='Click here to show/hide team information.'>{$teamdata['teamname']} : Team Information</a>";
if (isset($filter["pid"]) || !isset($filter["result"]) || !isset($filter["language"])) {
echo " | ";
}
}
if (isset($filter["pid"])) {
echo "<a onClick=\"\$('#problem-information').slideToggle();\$('#team-information').slideUp();\$('#submission-statistics').slideUp();\" title='Click here to show/hide problem information.'>{$probdata['name']} : Problem Information</a>";
if (!isset($filter["result"]) || !isset($filter["language"])) {
echo " | ";
}
}
if (!isset($filter["result"]) || !isset($filter["language"])) {
echo "<a onClick=\"\$('#submission-statistics').slideToggle();\$('#problem-information').slideUp();\$('#team-information').slideUp();\" title='Click here to show/hide submission statistics.'>Submission Statistics</a>";
}
if (isset($filter["tid"]) || isset($filter["pid"]) || !isset($filter["result"]) || !isset($filter["language"])) {
echo "</h3>";
}
if (isset($filter["tid"])) {
$members = array();
for ($i = 1; $i <= 3; $i++) {
if (!empty($teamdata["name" . $i])) {
$members[] = $teamdata["name" . $i];
}
}
$members = implode($members, ", ");
$data = mysql_query("SELECT distinct(runs.pid),problems.name,problems.code FROM runs,problems WHERE runs.tid='{$filter['tid']}' and runs.result='AC' and runs.pid=problems.pid and problems.status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . " and runs.access!='deleted'");
if (is_resource($data)) {
$solvedn = mysql_num_rows($data);
$solvedp = array();
while ($temp = mysql_fetch_array($data)) {
$solvedp[] = "<a href='?display=problem&pid={$temp['pid']}' title=\"{$temp['code']}\">{$temp['name']}</a>";
}
$solvedp = implode($solvedp, ", ");
} else {
$solvedn = 0;
$solvedp = "";
}
echo "<div id='team-information' style='display:none;'>";
echo "<table width=80%><tr><th>Team Members</th><td>{$members}</td></tr><tr><th>Score</th><td>{$teamdata['score']}</td></tr><tr><th>Problems Solved</th><td>{$solvedp} ({$solvedn})</td></tr>";
echo "</table><br></div>";
}
if (isset($filter["pid"])) {
echo "<div id='problem-information' style='display:none;'><table width=80%>\r\n\t\t\t<tr><th>Problem ID</th><td>{$probdata['pid']}</td><th>Problem Type</th><td>{$probdata['type']}</td><th>Time Limit</th><td>{$probdata['timelimit']} sec</td></tr>\r\n\t\t\t<tr><th>Problem Code</th><td>{$probdata['code']}</td><th>Input File Size</th><td>" . display_filesize(strlen($probdata["input"])) . "</td><th>Score</th><td>{$probdata['score']}</td></tr>";
echo "</table><br>";
echo "<a href='?display=problem&pid={$probdata['pid']}'>Link to Problem</a><br></div>";
}
if (!isset($filter["result"]) || !isset($filter["language"])) {
echo "<div id='submission-statistics' style='display:none;'>";
}
if (!isset($filter["result"])) {
$t1 = mysql_query("SELECT result,count(*) as cnt FROM runs WHERE access!='deleted' AND tid in (SELECT tid FROM teams WHERE status='Normal' OR status='Admin') AND pid in (SELECT pid FROM problems WHERE status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . ") {$condition} group by result;");
if (is_resource($t1)) {
for ($info2 = array(); $t2 = mysql_fetch_array($t1);) {
if ($t2["result"] == "") {
$t2["result"] = "...";
}
$info2[$t2["result"]] = $t2["cnt"];
}
}
if (!isset($info2["..."])) {
$info2["..."] = 0;
}
$info = array("TOT" => $info2["..."], "..." => $info2["..."]);
foreach ($fullresult as $key => $value) {
if (key_exists($key, $info2)) {
$info["TOT"] += $info[$key] = $info2[$key];
} else {
$info[$key] = 0;
}
}
if ($info != NULL) {
echo "<table class='substat'><tr><th>Total Submissions</th>";
foreach ($fullresult as $key => $value) {
echo "<th><a href='?" . $urlargs . "&res={$key}'>" . $value . "</a></th>";
}
echo "<th>Unjudged Submissions</th></tr><tr><td>" . $info["TOT"] . "</td>";
foreach ($fullresult as $key => $value) {
echo "<td>" . $info[$key] . "</td>";
}
echo "<td>" . $info["..."] . "</td></tr></table><br>";
}
}
if (!isset($filter["language"])) {
$t1 = mysql_query("SELECT language,count(*) as cnt FROM runs WHERE access!='deleted' AND tid in (SELECT tid FROM teams WHERE status='Normal' OR status='Admin') AND pid in (SELECT pid FROM problems WHERE status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . ") {$condition} group by language;");
if (is_resource($t1)) {
for ($info2 = array(); $t2 = mysql_fetch_array($t1);) {
$info2[$t2["language"]] = $t2["cnt"];
}
}
$info = array();
foreach ($extension as $key => $value) {
if (key_exists($key, $info2)) {
$info[$key] = $info2[$key];
} else {
$info[$key] = 0;
}
}
if ($info != NULL) {
echo "<table class='substat'><tr>";
foreach ($extension as $key => $value) {
echo "<th><a href='?" . $urlargs . "&lan=" . urlencode($key) . "'>" . ($key == "Brain" ? "Brainf**k" : $key) . "</a></th>";
}
echo "</tr><tr>";
foreach ($extension as $key => $value) {
echo "<td>" . $info[$key] . "</td>";
}
echo "</tr></table><br>";
}
}
if (!isset($filter["result"]) || !isset($filter["language"])) {
echo "</div>";
}
echo "<h2>Submission Status</h2>";
if ($_SESSION["status"] == "Admin") {
if ($rejudge == "action=rejudge") {
$rejudge .= "&all=1";
}
echo "<input type='button' value='Rejudge Selected Submissions' onClick=\"if(confirm('Are you sure you wish to rejudge all currently selected submissions?'))window.location='?{$rejudge}';\"><br><br>";
}
$total = mysql_query("SELECT count(*) as total FROM runs WHERE access!='deleted' AND tid in (SELECT tid FROM teams WHERE status='Normal' OR status='Admin') AND pid in (SELECT pid FROM problems WHERE status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . ") {$condition} ORDER BY rid DESC");
$total = mysql_fetch_array($total);
$total = $total["total"];
if (isset($admin["substatpage"]) && $admin["substatpage"] >= 0) {
$perpage = $admin["substatpage"];
} else {
$perpage = 25;
}
$x = paginate($urlargs, $total, $perpage);
$page = $x[0];
$pagenav = $x[1];
echo $pagenav . "<br><br>";
echo "<table class='submission'><th>Run ID</th><th>Team</th><th>Problem</th><th>Language</th><th>Time</th><th>Result</th><th " . ($_SESSION["status"] == "Admin" ? "style='width:170px;'" : "") . ">Options</th></tr>";
$data = mysql_query("SELECT * FROM runs WHERE access!='deleted' AND tid in (SELECT tid FROM teams WHERE status='Normal' OR status='Admin') AND pid in (SELECT pid FROM problems WHERE status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . ") {$condition} ORDER BY rid DESC LIMIT " . ($page - 1) * $perpage . "," . $perpage);
if (is_resource($data)) {
$n = mysql_num_rows($data);
}
if (is_resource($data)) {
for ($i = 0; $temp = mysql_fetch_array($data); $i++) {
if ($i == $perpage) {
break;
}
if ($temp["language"] == "Brain") {
$temp["lan"] = "Brainf**k";
} else {
$temp["lan"] = $temp["language"];
}
$t = mysql_query("SELECT teamname FROM teams WHERE tid={$temp['tid']} and (status='Normal' or status='Admin')");
if (is_resource($t) && mysql_num_rows($t) == 1) {
$t = mysql_fetch_array($t);
$teamname = $t['teamname'];
} else {
continue;
}
$t = mysql_query("SELECT name FROM problems WHERE pid={$temp['pid']} and status" . ($_SESSION["status"] == "Admin" ? "!='Delete'" : "='Active'") . ";");
if (is_resource($t) && mysql_num_rows($t) == 1) {
$t = mysql_fetch_array($t);
$probname = $t['name'];
} else {
continue;
}
$fresult = $result = $temp["result"];
if (isset($fullresult[$result])) {
$fresult = $fullresult[$result];
}
$r = $result;
if ($result == "") {
$r = "NA";
$fresult = "Queued";
} elseif ($result == "...") {
$r = "NA";
$fresult = "Evaluating";
} elseif ($result != "AC") {
$result = "NAC";
}
if ($_SESSION["status"] == "Admin" || $_SESSION["tid"] == $temp["tid"] || $temp["access"] == "public") {
echo "<tr class='{$result}'><td><a href='?display=code&rid={$temp['rid']}' title='Link to Code'>{$temp['rid']}</a></td><td><a href='?" . str_replace("&tid={$temp['tid']}", "", $urlargs) . "&tid={$temp['tid']}' title='Link to Team'>{$teamname}</td><td><a href='?" . str_replace("&pid={$temp['pid']}", "", $urlargs) . "&pid={$temp['pid']}' title='Link to Problem'>{$probname}</a></td><td><a href='?" . str_replace("&lan=" . urlencode($temp["language"]), "", $urlargs) . "&lan=" . urlencode($temp["language"]) . "' title='Link to {$temp['lan']} Submissions'>{$temp['lan']}</a></td><td>{$temp['time']}</td><td class='{$result}'><a href='?{$urlargs}&res={$r}'>{$fresult}</a></td>";
} else {
echo "<tr class='{$result}'><td>{$temp['rid']}</td><td><a href='?" . str_replace("&tid={$temp['tid']}", "", $urlargs) . "&tid={$temp['tid']}'>{$teamname}</td><td><a href='?" . str_replace("&pid={$temp['pid']}", "", $urlargs) . "&pid={$temp['pid']}'>{$probname}</a></td><td><a href='?" . str_replace("&lan=" . urlencode($temp["language"]), "", $urlargs) . "&lan=" . urlencode($temp["language"]) . "' title='Link to {$temp['lan']} Submissions'>{$temp['lan']}</a></td><td>{$temp['time']}</td><td class='{$result}'><a href='?{$urlargs}&res={$r}'>{$fresult}</a></td>";
}
if ($_SESSION["status"] == "Admin") {
echo "<td><input type='button' value='Rejudge' onClick=\"window.location='?action=rejudge&rid={$temp['rid']}';\">";
if ($temp["access"] == "private") {
echo "<input type='button' value='Private' title='Make this code Public (visible to all).' onClick=\"window.location='?action=makecodepublic&rid={$temp['rid']}';\">";
} else {
echo "<input type='button' value='Public' title='Make this code Private (visible only to the team that submitted it).' onClick=\"window.location='?action=makecodeprivate&rid={$temp['rid']}';\">";
}
echo "<input type='button' value='Delete' onClick=\"if(confirm('Are you sure you wish to delete Run ID {$temp['rid']}?'))window.location='?action=makecodedeleted&rid={$temp['rid']}';\">";
echo "</td>";
} else {
if ($_SESSION["status"] == "Admin" || $_SESSION["tid"] == $temp["tid"] || $temp["access"] == "public") {
echo "<td><input type='button' value='Code' onClick=\"window.location='?display=code&rid={$temp['rid']}';\"></td>";
} else {
echo "<td></td>";
}
}
echo "</tr>";
}
}
echo "</table><br>";
echo $pagenav . "</center>";
}
