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>"; } } } }