\n"; echo "This page should be run from within the admin interface!\n"; exit; }else { $html = <<< EOD
Other Admin Tasks

Download CSV file of the node database.

Fix stuck polling run.
(It should reset itself after 3 * node_polling_interval, but you can manually do it here also.) EOD; echo $html . "\n"; } ?>