function post_value()
{
ensure_session();
if (($sid = session_id()) !== "") {
if (strlen($sid) > 16) {
$sid = substr($sid, 8);
}
$sid = substr($sid, 0, 8);
} else {
$sid = "1";
}
return urlencode($sid);
}
static function update($list, $trackerid, $position)
{
global $Conf, $Me, $Now;
assert($list && str_starts_with($list->listid, "p/"));
ensure_session();
if (preg_match('/\\A[1-9][0-9]*\\z/', $trackerid)) {
$trackerid = (int) $trackerid;
}
$tracker = (object) array("trackerid" => $trackerid, "listid" => $list->listid, "ids" => $list->ids, "url" => $list->url, "description" => $list->description, "start_at" => $Now, "position_at" => 0, "update_at" => $Now, "owner" => $Me->contactId, "sessionid" => session_id(), "position" => $position);
$old_tracker = self::lookup();
if ($old_tracker->trackerid == $tracker->trackerid) {
$tracker->start_at = $old_tracker->start_at;
if ($old_tracker->listid == $tracker->listid && $old_tracker->position == $tracker->position) {
$tracker->position_at = $old_tracker->position_at;
}
}
if (!$tracker->position_at) {
$tracker->position_at = self::next_position_at();
}
$Conf->save_setting("tracker", 1, $tracker);
self::contact_tracker_comet();
return $tracker;
}
global $zlib_output_compression;
$zlib_output_compression = false;
if (function_exists("zlib_get_coding_type")) {
$zlib_output_compression = zlib_get_coding_type();
}
if ($zlib_output_compression) {
header("Content-Encoding: {$zlib_output_compression}");
header("Vary: Accept-Encoding", false);
}
// Set up sessions
$Opt["globalSessionLifetime"] = ini_get("session.gc_maxlifetime");
if (!isset($Opt["sessionLifetime"])) {
$Opt["sessionLifetime"] = 86400;
}
ini_set("session.gc_maxlifetime", $Opt["sessionLifetime"]);
ensure_session();
// Initialize user
function initialize_user()
{
global $Conf, $Opt, $Me;
// backwards compat: set $_SESSION["user"] from $_SESSION["Me"]
if (!isset($_SESSION["user"]) && isset($_SESSION["Me"])) {
$x = $_SESSION["Me"];
$_SESSION["user"] = "******";
unset($_SESSION["Me"], $_SESSION["pcmembers"]);
}
if (!isset($_SESSION["trueuser"]) && isset($_SESSION["user"])) {
$_SESSION["trueuser"] = $_SESSION["user"];
}
if (is_string(@$_SESSION["trueuser"])) {
$userwords = explode(" ", $_SESSION["trueuser"]);
function msg($type, $text)
{
if (PHP_SAPI == "cli") {
if ($type === "xmerror" || $type === "merror") {
fwrite(STDERR, "{$text}\n");
} else {
if ($type === "xwarning" || $type === "mxwarning" || !defined("HOTCRP_TESTHARNESS")) {
fwrite(STDOUT, "{$text}\n");
}
}
} else {
if ($this->save_messages) {
ensure_session();
$this->save_session_array("msgs", true, array($type, $text));
} else {
if ($type[0] == "x") {
echo Ht::xmsg($text, $type);
} else {
echo "<div class=\"{$type}\">{$text}</div>";
}
}
}
}
