session timeout

public/userarea/session_ping.php

@@ -0,0 +1,13 @@
+<?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()]);