userid != $user->id) { error_page("We have no record of that computer"); } $detail = get_int('detail', true); page_head("Merge computers"); $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.
"; if (!$detail) { echo "Show details "; } page_tail(); ?>