boinc/html/user/bug_report_form.php

<?php

include_once("util.inc");
include_once("db.inc");

function print_platform_select() {
    echo "
        <select name=platform>
    ";

    $result = mysql_query("select * from platform");
    while ($platform = mysql_fetch_object($result)) {
        echo"
            <option value=$platform->name>$platform->user_friendly_name
        ";
    }
    mysql_free_result($result);
    echo "</select>\n";
}

$authenticator = init_session();
db_init();

$user = get_user_from_auth($authenticator);
if ($user == NULL) {
    print_login_form();
    exit();
}
page_head("Problem Report Form", $user);

echo "
    <h3>Problem Report Form</h3>
    <form method=post action=bug_report_action.php>
    <table>
    <tr><td align=right>Computer type</td><td>
    ";
print_platform_select();
echo"
    </td></tr>
    <tr><td align=right>
    Problem description:
    </td><td>
    <textarea rows=10 cols=80>
    </textarea>
    </td></tr>
    <tr><td><br></td><td>
    <input type=submit value=OK>
    </td></tr></table>
    </form>
    ";

?>