boinc/html/user/host_delete.php

<?php
    require_once("../inc/db.inc");
    require_once("../inc/util.inc");
    require_once("../inc/host.inc");

function fail($msg) {
    echo "Error: $msg";
    page_tail();
    exit();
}

function get_host($hostid, $user) {
    $host = lookup_host($hostid);
    if (!$host || $host->userid != $user->id) {
        fail("We have no record of that computer");
    }
    return $host;
}

    db_init();
    $user = get_logged_in_user();

    page_head("Delete record of computer");

    $hostid = $_GET["hostid"];
    $host = get_host($hostid, $user);
    if (host_nresults($host)==0) {
        mysql_query("delete from host where id=$hostid");
    } else {
        fail("existing results");
    }
    echo "
        Host deleted.
        <p><a href=hosts_user.php>Return to list of your computers</a>
    ";
    page_tail();

?>