function write_body() { // TODO: filters? $this->write_messages('judge'); JudgeDaemon::cleanup(); $this->write_judges(JudgeDaemon::all()); }
public function set_status_all($new_status) { if (!JudgeDaemon::is_valid_status($new_status)) { throw new Exception("Invalid status code: {$new_status}"); } static $query; DB::prepare_query($query, "UPDATE `judge_daemon` SET `status` = ?"); $query->execute(array($new_status)); $query->closeCursor(); }
<?php require_once '../lib/bootstrap.inc'; require_once '../lib/DateRange.php'; // ----------------------------------------------------------------------------- // Configuration // ----------------------------------------------------------------------------- if (!isset($_SERVER['argv'])) { die("The judgedaemon must be started from the console."); } define('VERBOSE', true); // Identity of this host (database object) $self = JudgeDaemon::add(); // ----------------------------------------------------------------------------- // Welcome message // ----------------------------------------------------------------------------- if (VERBOSE) { echo "+=============================================================================+\n"; echo "| __ __ _ __ _ |\n"; echo "| / / __ __ _____ / /_ (_) / /_ (_) ____ _ |\n"; echo "| __ / / / / / / / ___/ / __/ / / / __/ / / / __ `/ |\n"; echo "| / /_/ / / /_/ / (__ ) / /_ / / / /_ / / / /_/ / |\n"; echo "| \\____/ \\__,_/ /____/ \\__/ /_/ \\__/ /_/ \\__,_/ |\n"; echo "| |\n"; echo "| Judge daemon on " . sprintf('%-20s', $self->name) . " |\n"; echo "| |\n"; echo "+=============================================================================+\n"; } // ----------------------------------------------------------------------------- // Main loop // -----------------------------------------------------------------------------