userid != $user->id) { echo "We have no record of that computer"; exit(); } $t = time_str($host->create_time); echo " Sometimes BOINC assigns separate identities to the same computer by mistake. You can correct this by merging old identities with the newest one.
"; page_tail(); ?>