Exemplo n.º 1
0
<?php

// initweb.php -- HotCRP initialization for web scripts
// HotCRP is Copyright (c) 2006-2015 Eddie Kohler and Regents of the UC
// Distributed under an MIT-like license; see LICENSE
require_once "init.php";
global $Conf, $Opt;
// Check for redirect to https
if (@$Opt["redirectToHttps"]) {
    Navigation::redirect_http_to_https(@$Opt["allowLocalHttp"]);
}
// Check and fix zlib output compression
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()
{
Exemplo n.º 2
0
<?php

// initweb.php -- HotCRP initialization for web scripts
// HotCRP is Copyright (c) 2006-2016 Eddie Kohler and Regents of the UC
// See LICENSE for open-source distribution terms
require_once "init.php";
global $Conf, $Me, $Opt;
// Check for redirect to https
if (get($Opt, "redirectToHttps")) {
    Navigation::redirect_http_to_https(get($Opt, "allowLocalHttp"));
}
// Check and fix zlib output compression
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);
}
// Mark as already expired to discourage caching, but allow the browser
// to cache for history buttons
header("Cache-Control: max-age=0,must-revalidate,private");
// Don't set up a session if $Me is false
if ($Me === false) {
    return;
}
// Set up session
$Opt["globalSessionLifetime"] = ini_get("session.gc_maxlifetime");
if (!isset($Opt["sessionLifetime"])) {