<?php
// Utilities to help diagnose problems in the cluster
$TOPDIR = '..';
require_once "$TOPDIR/lib/functions.php";
insertHeader('Diagnose', NULL, NULL, array('support','diagnose'));
insertNotDoneYet();
insertFooter();
?>