function process_pubsub($redis, $chan, $msg)
{
global $follow_files;
stat_update("web:sse:pubsub_received");
$redis->incr("stats:web:sse:pubsub_received");
$msg_decode = json_decode($msg, true);
foreach ($follow_files as $k => $v) {
if ($chan == "pubsub:" . $v["filename"]) {
$new_hash = $msg_decode["hash"];
if ($new_hash != $v["hash"]) {
$new_mtime = $msg_decode["mtime"];
send_event($redis, $v["event"], $new_mtime, $v["mtime"], $v["filename"]);
$follow_files[$k]["hash"] = $new_hash;
$follow_files[$k]["mtime"] = $new_mtime;
}
break;
}
}
}
function process_json($filename, $last_data)
{
// Return data array or false if not available.
global $redis;
$timestamp = $redis->get($filename . "-mtime");
if ($timestamp === FALSE) {
$timestamp = 0;
}
$ret = array("file_timestamp" => $timestamp, "content_timestamp" => false, "content" => false);
$ret["content"] = json_decode($redis->get($filename), true);
if (isset($ret["content"]["timestamp"])) {
$ret["content_timestamp"] = $ret["content"]["timestamp"];
} else {
$ret["content_timestamp"] = $ret["file_timestamp"];
}
if ($ret["content_timestamp"] < $last_data || $ret["file_timestamp"] < $last_data) {
return false;
}
return $ret;
}
// Populate data
$ret["twitter"] = process_json("data:twitter.json", $last_data);
$ret["data"] = process_json($filename, $last_data);
$ret["status"] = "success";
http_cache_etag();
http_send_content_type("application/json");
http_send_data(json_encode($ret));
// Update statistics
$redis->incr("stats:web:json:processed");
stat_update("web:json:processed");
Header("Content-Type: text/html; charset=utf-8");
$pagename = "main";
if (isset($_GET["page"])) {
$temp = basename($_GET["page"]);
if ($temp == "network-map") {
$pagename = "netmap";
}
$temp = str_replace("-", "", $temp);
if (file_exists("pages/{$temp}.php")) {
$pagename = $temp;
$redis->incr("stats:web:pageview");
stat_update("web:pageview");
} else {
$redis->incr("stats:web:invalidpage");
$redis->incr("stats:web:invalid");
stat_update("web:invalid");
}
}
$pages = array(array("/", "Home"), array("/page/services", "Services"), array("/page/network-map", "Network map"), array("/page/it-tickets", "IT tickets"), array("/page/printers", "Printers"), array("/page/misc-stats", "Server stats"), array("/page/what", "What?"));
$manifestenabled = false;
foreach ($pages as $k => $v) {
if ($_SERVER["REQUEST_URI"] == $v[0]) {
$manifestenabled = true;
}
}
function callback($buffer)
{
$search = array('/\\>[^\\S ]+/s', '/[^\\S ]+\\</s', '/(\\s)+/s');
$replace = array('>', '<', '\\1');
$buffer = preg_replace($search, $replace, $buffer);
return $buffer;
if (isset($_GET["filename"])) {
$useragent = $_SERVER['HTTP_USER_AGENT'];
if (preg_match('/android.+mobile|avantgo|bada\\/|blackberry|blazer|compal|elaine|fennec|hiptop|iemobile|ip(hone|od)|iris|kindle|lge |maemo|midp|mmp|netfront|opera m(ob|in)i|palm( os)?|phone|p(ixi|re)\\/|plucker|pocket|psp|symbian|treo|up\\.(browser|link)|vodafone|wap|windows (ce|phone)|xda|xiino/i', $useragent) || preg_match('/1207|6310|6590|3gso|4thp|50[1-6]i|770s|802s|a wa|abac|ac(er|oo|s\\-)|ai(ko|rn)|al(av|ca|co)|amoi|an(ex|ny|yw)|aptu|ar(ch|go)|as(te|us)|attw|au(di|\\-m|r |s )|avan|be(ck|ll|nq)|bi(lb|rd)|bl(ac|az)|br(e|v)w|bumb|bw\\-(n|u)|c55\\/|capi|ccwa|cdm\\-|cell|chtm|cldc|cmd\\-|co(mp|nd)|craw|da(it|ll|ng)|dbte|dc\\-s|devi|dica|dmob|do(c|p)o|ds(12|\\-d)|el(49|ai)|em(l2|ul)|er(ic|k0)|esl8|ez([4-7]0|os|wa|ze)|fetc|fly(\\-|_)|g1 u|g560|gene|gf\\-5|g\\-mo|go(\\.w|od)|gr(ad|un)|haie|hcit|hd\\-(m|p|t)|hei\\-|hi(pt|ta)|hp( i|ip)|hs\\-c|ht(c(\\-| |_|a|g|p|s|t)|tp)|hu(aw|tc)|i\\-(20|go|ma)|i230|iac( |\\-|\\/)|ibro|idea|ig01|ikom|im1k|inno|ipaq|iris|ja(t|v)a|jbro|jemu|jigs|kddi|keji|kgt( |\\/)|klon|kpt |kwc\\-|kyo(c|k)|le(no|xi)|lg( g|\\/(k|l|u)|50|54|e\\-|e\\/|\\-[a-w])|libw|lynx|m1\\-w|m3ga|m50\\/|ma(te|ui|xo)|mc(01|21|ca)|m\\-cr|me(di|rc|ri)|mi(o8|oa|ts)|mmef|mo(01|02|bi|de|do|t(\\-| |o|v)|zz)|mt(50|p1|v )|mwbp|mywa|n10[0-2]|n20[2-3]|n30(0|2)|n50(0|2|5)|n7(0(0|1)|10)|ne((c|m)\\-|on|tf|wf|wg|wt)|nok(6|i)|nzph|o2im|op(ti|wv)|oran|owg1|p800|pan(a|d|t)|pdxg|pg(13|\\-([1-8]|c))|phil|pire|pl(ay|uc)|pn\\-2|po(ck|rt|se)|prox|psio|pt\\-g|qa\\-a|qc(07|12|21|32|60|\\-[2-7]|i\\-)|qtek|r380|r600|raks|rim9|ro(ve|zo)|s55\\/|sa(ge|ma|mm|ms|ny|va)|sc(01|h\\-|oo|p\\-)|sdk\\/|se(c(\\-|0|1)|47|mc|nd|ri)|sgh\\-|shar|sie(\\-|m)|sk\\-0|sl(45|id)|sm(al|ar|b3|it|t5)|so(ft|ny)|sp(01|h\\-|v\\-|v )|sy(01|mb)|t2(18|50)|t6(00|10|18)|ta(gt|lk)|tcl\\-|tdg\\-|tel(i|m)|tim\\-|t\\-mo|to(pl|sh)|ts(70|m\\-|m3|m5)|tx\\-9|up(\\.b|g1|si)|utst|v400|v750|veri|vi(rg|te)|vk(40|5[0-3]|\\-v)|vm40|voda|vulc|vx(52|53|60|61|70|80|81|83|85|98)|w3c(\\-| )|webc|whit|wi(g |nc|nw)|wmlb|wonu|x700|xda(\\-|2|g)|yas\\-|your|zeto|zte\\-/i', substr($useragent, 0, 4))) {
$name = "img/carousel/mobile/" . basename($_GET["filename"]);
} else {
if (preg_match('/ipad/i', substr($useragent, 0, 4))) {
$name = "img/carousel/tablet/" . basename($_GET["filename"]);
} else {
$name = "img/carousel/full/" . basename($_GET["filename"]);
}
}
}
if (!isset($name) || !file_exists($name)) {
$redis->incr("stats:web:static:invalid");
$redis->incr("stats:web:invalid");
stat_update("web:static:invalid");
stat_update("web:invalid");
header("HTTP/1.1 404 Not Found");
readfile("404.html");
exit;
}
$lastmodified = filemtime($name);
$redis->incr("stats:web:static:served");
stat_update("web:static:served");
http_cache_last_modified();
http_cache_etag();
$expiretime = 3600 * 24 * 8;
Header("Cache-Control: public; max-age={$expiretime}");
Header("Expires: " . gmdate("D, d M Y H:i:s", $lastmodified + $expiretime) . " GMT");
http_send_content_type("image/jpeg");
http_send_file($name);