thomasmb

<?php

//add your server aliases here
$servers = array(
	"185.14.184.234" => "mcfly.bensmann.no",
	"185.14.184.xxx" => "another.server.com",
);

//this script is triggered by this command from the terminal or cron:
//echo "time=`uptime`&df=`df -h`" | curl -s -d @- http://domain.com/path/to/script.php