<?php

// Utilities to help diagnose problems in the cluster

$TOPDIR = '..';
require_once "$TOPDIR/lib/functions.php";

insertHeader('Diagnose', NULL, NULL, array('support','diagnose'));
insertNotDoneYet();
echo '</body></html>';
?>