$PAGE->body = $PAGE->body . $next_version;
$PAGE->body = $PAGE->body . "</b>";
$update_notes = $UPDATE->notes();
if (strlen($update_notes) > 0) {
$PAGE->body = $PAGE->body . "<ul>";
$PAGE->body = $PAGE->body . "<br/>";
$PAGE->body = $PAGE->body . $update_notes;
$PAGE->body = $PAGE->body . "</ul>";
}
} elseif (isset($_GET['page']) && intval($_GET['page']) == 2 && isset($_POST['btnSubmit'])) {
// CALL THE UPDATE COMMANDS
$UPDATE->execute();
$old_version = $current_version;
// UPDATE THE DATABASE VERSION NUMBER
$sys_setting = new sys_setting();
$sys_setting->get_from_hashrange("system", "version");
$sys_setting->update(array("val" => $next_version));
$database_version = $sys_setting->val;
$current_version = $next_version;
$title_text = getTranslation("Update from version", $settings);
$title_text = $title_text . " ";
$title_text = $title_text . $old_version;
$title_text = $title_text . " ";
$title_text = $title_text . getTranslation("to version", $settings);
$title_text = $title_text . " ";
$title_text = $title_text . $current_version;
$title_text = $title_text . " ";
$title_text = $title_text . getTranslation("successful", $settings);
$update_notes = $UPDATE->notes();
if (strlen($update_notes) > 0) {
$PAGE->body = $PAGE->body . "<br/>";
//logger("RECEIVED NEW JOB SUBMISSION:\n\t".$INSTANCE_NAME."@".$new_job_news->id."\n\t"."BUT THERE IS NO JOB_ID_USER ENTRY FOR THAT JOB ID\n");
//print_r($JOB);
$failed_to_find_job = true;
break;
}
$JOB->get_from_hashrange($new_job_news->id_user, $new_job_news->id);
// change to drive off of ip address
$idx = $idx + 1;
}
// END WHILE
// SKIP THE REST IF UNABLE TO FIND A JOB BY THAT NAME
if ($failed_to_find_job) {
continue;
}
$assigner_setting = new sys_setting();
$assigner_setting->get_from_hashrange("jobcluster-" . substr($id_user, 0, 10), "reassigner");
if ($assigner_setting->val == $INSTANCE_NAME) {
$user_server_reassigns = array();
$user_server_reassign = new user_server();
// LIST OF ALL JOB SERVERS
$user_server_reassigns = $user_server_reassign->get_from_hashrange($id_user);
// HOW MANY NON-BUSY JOB SERVERS
$not_busy_servers = array();
foreach ($user_server_reassigns as $user_server_reassign) {
if (isset($user_server_reassign['is_busy'])) {
if ($user_server_reassign['is_busy'] . "" != "1") {
$not_busy_servers[] = $user_server_reassign;
}
}
}
// HOW MANY OTHER NON-BUSY JOB SERVERS (INC. THIS ONE) WERE LAST SEEN IN THE PAST 30 SECONDS
