');
row.append($('').text(timestamp));
row.append($(' | ').text(severity));
row.append($(' | ').text(coord));
// We inject it as HTML rather than text because we escaped it before
// and because we need to preserve the links to the submission pages.
row.append($(' | ').html(operation));
row.append($(' | ').append($('').html(message)));
new_table.append(row);
}
table.replaceWith(new_table);
}
function update_statuses()
{
{% if contest is not none %}
if (!update_statuses.submissions_request
|| update_statuses.submissions_request.state() != "pending") {
update_statuses.submissions_request =
cmsrpc_request("AdminWebServer", 0,
"submissions_status",
{"contest_id": {{ contest.id }}},
update_submissions_status);
}
{% endif %}
if (!update_statuses.queue_request
|| update_statuses.queue_request.state() != "pending") {
update_statuses.queue_request =
cmsrpc_request("EvaluationService", 0,
"queue_status",
{},
update_queue_status);
}
cmsrpc_request("EvaluationService", 0,
"workers_status",
{},
update_workers_status);
cmsrpc_request("LogService", 0,
"last_messages",
{},
update_logs);
}
{% endblock js %}
{% block js_init %}
setInterval(update_statuses, 5000);
update_statuses();
{% endblock js_init %}
{% block core %}
Overview
{% if contest is not none %}
Submissions status
Status |
Number |
 |
{% endif %}
Queue status
Id |
Job |
Priority |
Since |
 |
Workers status
Shard |
Connected |
Current job |
Since |
Action |
 |
Logs
Time |
Severity |
Service |
Operation |
Message |
 |
{% endblock core %}
|