userid != $user->id) { error_page("We have no record of that computer."); } $nresults = host_nresults($host); if ($nresults == 0) { $host->delete(); } else { error_page( "You can not delete our record of this computer because our database still contains work for it. You must wait a few days until the work for this computer has been deleted from the project database." ); } page_head("Delete record of computer"); echo " Record deleted.

Return to list of your computers "; page_tail(); ?>