本文整理汇总了PHP中getRequestID函数的典型用法代码示例。如果您正苦于以下问题：PHP getRequestID函数的具体用法？PHP getRequestID怎么用？PHP getRequestID使用的例子？那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了getRequestID函数的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的PHP代码示例。
示例1: while
while ($i < $n1 && ($k >= $l || $tokens1[$i] != $lcs[$k])) {
$diff .= "<del>" . specialchars($tokens1[$i]) . "</del> ";
$i++;
}
while ($j < $n2 && ($k >= $l || $tokens2[$j] != $lcs[$k])) {
$diff .= "<ins>" . specialchars($tokens2[$j]) . "</ins> ";
$j++;
}
if ($cutoff < sizeof($tokens1) || $cutoff < sizeof($tokens2)) {
$diff .= "[cut off rest of line...]";
}
$diff .= "\n";
return array(TRUE, $diff);
}
require 'init.php';
$id = getRequestID();
if (!empty($_GET['jid'])) {
$jid = (int) $_GET['jid'];
}
if (!empty($_GET['rejudgingid'])) {
$rejudgingid = (int) $_GET['rejudgingid'];
}
// Also check for $id in claim POST variable as submissions.php cannot
// send the submission ID as a separate variable.
if (is_array(@$_POST['claim'])) {
foreach ($_POST['claim'] as $key => $val) {
$id = (int) $key;
}
}
if (is_array(@$_POST['unclaim'])) {
foreach ($_POST['unclaim'] as $key => $val) {示例2: getRequestID
<?php
/**
* View judgehost details
*
* Part of the DOMjudge Programming Contest Jury System and licenced
* under the GNU GPL. See README and COPYING for details.
*/
require 'init.php';
$id = getRequestID(FALSE);
if (empty($id)) {
error("Missing judge hostname");
}
$refresh = '15;url=judgehost.php?id=' . urlencode($id);
if (isset($_REQUEST['cmd']) && ($_REQUEST['cmd'] == 'activate' || $_REQUEST['cmd'] == 'deactivate')) {
requireAdmin();
$DB->q('UPDATE judgehost SET active = %i WHERE hostname = %s', $_REQUEST['cmd'] == 'activate' ? 1 : 0, $id);
auditlog('judgehost', $id, 'marked ' . ($_REQUEST['cmd'] == 'activate' ? 'active' : 'inactive'));
// the request came from the overview page
if (isset($_GET['cmd'])) {
header("Location: judgehosts.php");
exit;
}
}
$row = $DB->q('TUPLE SELECT judgehost.*, r.name AS restrictionname
FROM judgehost
LEFT JOIN judgehost_restriction r USING (restrictionid)
WHERE hostname = %s', $id);
$title = 'Judgehost ' . htmlspecialchars($row['hostname']);
require LIBWWWDIR . '/header.php';
echo "<h1>Judgehost " . printhost($row['hostname']) . "</h1>\n\n";