$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