Originariamente inviato da bubu77
ogni qunto viene aggiornato il file?
come lo carichi?
Il file viene ricaricato ogni volta che viene richiesto, non c'è un tempo di auto caricamento. La mia intenzione è di mettere un limite di tempo per il caricamento, per il quale se non viene caricato in tempo il file (diciamo in 10 secondi), la funzione si blocchi e la pagina continui normalmente.

Il file viene caricato tramite un xml parser.

Questa è la funzione principale richiamata con $c_xml = parser_xml($c_filename):

Codice PHP:
function parser_xml($file){          // Funzione XML
    global $x_variabile;
    $x_variabile='';
        
    // L'IDEA SAREBBE DI INSERIRE QUI...

    if (!(list($xml_parser, $fp) = new_xml_parser($file))) {
       die("Non si riesce ad aprire il documento XML");
    }

    // ...O QUI IL CODICE DI TIMEOUT

    $x_variabile .= "<pre>";
    while ($data = fread($fp, 4096)) {
       if (!xml_parse($xml_parser, $data, feof($fp))) {
           die(sprintf("Errore XML: %s alla linea %d\n",
                       xml_error_string(xml_get_error_code($xml_parser)),
                       xml_get_current_line_number($xml_parser)));
       }
    }
    $x_variabile .= "</pre>";
    return $x_variabile;
    xml_parser_free($xml_parser);
    
}