Я получаю источник страницы следующим образом:
<? $txt = file_get_contents('http://stats.pingdom.com/file'); echo $txt; ?>
и печать его на экране, но, если честно, я на самом деле хочу заменять им существующий html-файл каждые 1 минуту. (Я буду открывать файл каждые 1 мин.)
Как я мог это сделать?
Если вы научились использовать функцию file_get_contents (), рассмотрите его сестринскую функциюэквивалент на выбранной вами операционной платформе)