Sacar las variables con curl

[GatorV]

Pues podrías hacer varias cosas, la primera es hacer un request usando cURL al script que actualiza el txt, una vez que este lo haya actualizado haces otro request usando cURL al archivo con los datos en txt para leerlo.

Un ejemplo sencillo para usar cURL:

Código PHP:

$ch = curl_init("http://www.google.com/");
curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
curl_setopt($ch, CURLOPT_HEADER, 0);
 
$google = curl_exec($ch);
curl_close($ch);
 
var_dump($google);
 

Saludos.