<?php
$URL="http://appdb.egi.eu:9009/api/repofiles/index.php?id=1249";
header("Last-Modified: " . gmdate("D, d M Y H:i:s",filemtime(__FILE__)) . " GMT");
header("Content-Type: text/plain");
echo file_get_contents($URL);

?>