Lato server
Supponendo che tu debba controllare $amount_of_tickets periodicamente e questo può essere calcolato in application.php , all'interno di quel file avrai
<?php
// $conn is defined and set somewhere
$amount_of_tickets = is_ticket_able($conn);
echo $amount_of_tickets;
exit(0);
?>
In questo modo quando lo script viene invocato con un semplice GET richiedere che il valore venga restituito nella risposta come testo semplice.
Lato cliente
Ajax è la strada da percorrere se vuoi aggiornare le informazioni sulla pagina senza ricaricarla.
Di seguito è riportato solo un semplice esempio (utilizzando jQuery) che può essere esteso per soddisfare le tue esigenze.
Il codice seguente è uno snippet JavaScript. Un globale viene utilizzato per memorizzare il valore (i globali dovrebbero essere evitati ma è solo ai fini dell'esempio)
Quindi viene richiamata una funzione e il valore aggiornato viene recuperato da function.php copione.
La funzione -prior terminazione- si programma da sola (con setTimeout ) da richiamare dopo un determinato periodo di millisecondi (per ripetere il processo di recupero del valore).
var global_isTicketAble = 0;
checkTicket();
function checkTicket()
{
$.ajax(
{
url: "application.php",
method: 'GET',
dataType: 'text',
async: true,
success: function( text )
{
global_isTicketAble = text;
// eventually do something here
// with the value just fetched
// (ex. update the data displayed)
setTimeout( checkTicket, 5000 ); // check every 5 sec
}
}
}
Nota che $.ajax() invia la richiesta ma non attende la risposta (come async è impostato su true ). Quando la richiesta viene ricevuta la funzione specificata come success viene eseguito.
La documentazione completa della funzione jQuery ajax può essere trovata qui
http://api.jquery.com/jquery.ajax/
