<?php

/**
 * session_ping.php - tiene viva la sessione mentre l'utente è attivo (chiamato da session_timeout.js).
 * headscript.php controlla il login e timbra la sessione: se l'utente non è più collegato fa il redirect al login
 * e la pagina se ne accorge perché non riceve JSON.
 */
ob_start();
include __DIR__ . '/include/headscript.php';
while (ob_get_level()) ob_end_clean();
header('Content-Type: application/json; charset=utf-8');
header('Cache-Control: no-store');
echo json_encode(['ok' => true, 'user' => (int)$iduserlogin, 'time' => time()]);