Beispiel #1
0
function virtual_system_chooser()
{
    echo "System:  <SELECT name=\"system\" size=\"1\">\n";
    echo "<OPTION value=\"%\">Any\n";
    foreach (sys_list() as $host) {
        echo "<OPTION>" . $host . "\n";
    }
    echo "</SELECT><BR>\n";
}
Beispiel #2
0
        } else {
            if (isset($_POST['start_date']) && $_POST['start_date'] != "") {
                $title .= " after " . $_POST['start_date'];
            } else {
                if (isset($_POST['end_date']) && $_POST['end_date'] != "") {
                    $title .= " before " . $_POST['end_date'];
                }
            }
        }
    }
}
page_header($title);
echo "<FORM method=\"POST\" action=\"jobstats.php\">\n";
echo "System:  <SELECT name=\"system\" size=\"1\">\n";
echo "<OPTION value=\"%\">Any\n";
foreach (sys_list() as $host) {
    echo "<OPTION>" . $host . "\n";
}
echo "</SELECT><BR>\n";
echo "Start date: <INPUT type=\"text\" name=\"start_date\" size=\"10\"> (YYYY-MM-DD)<BR>\n";
echo "End date: <INPUT type=\"text\" name=\"end_date\" size=\"10\"> (YYYY-MM-DD)<BR>\n";
// by queue
jobstats_input_header();
jobstats_input_metric("Job Count vs. Job Class", "jobcount_vs_queue");
jobstats_input_metric("CPU Time vs. Job Class", "cpuhours_vs_queue");
jobstats_input_metric("Job Length vs. Job Class", "walltime_vs_queue");
jobstats_input_metric("Queue Time vs. Job Class", "qtime_vs_queue");
jobstats_input_metric("Real Memory vs. Job Class", "mem_kb_vs_queue");
jobstats_input_metric("Virtual Memory vs. Job Class", "vmem_kb_vs_queue");
jobstats_input_metric("Walltime Accuracy vs. Job Class", "walltime_acc_vs_queue");
jobstats_input_metric("CPU Efficiency vs. Job Class", "cpu_eff_vs_queue");