peter
fad656988a
Backend - A run's outcome write sits outside the job's own try: a database blip after a run that succeeded no longer records it as failed (the row waits for the next start's sweep). - An interrupted run keeps what it spent (the sweep sums its quota rows, as finish does). - The Scheduler's ad-hoc row says running while any backfill runs, not only the newest. - recent_runs reads each job's last runs off its index instead of ranking the whole table. - An interval change is stored with its audit row in one transaction, then rescheduled. - One API instance per database is the stated contract (.env.example, jobruns). - Turning full history on for a channel already complete records no run. - Migration 0109 round-trips interrupted and ad-hoc runs; the run words' DB CHECKs are test-held to the enums; the account filter is one helper for the four activity reads. - An audit row says how many of its request's log lines are still kept. Frontend - An "All" period reaches every row still kept (runs and admin actions outlive 90 days). - Back/Forward is followed in place by the server log: a closing dialog no longer turns Live off; a pivot still opens a fresh log. - Runs moved over from the audit log read their one-liner in the reader's language. - Filter choices or accounts that failed to load say so beside the filters, with a retry. - An old server-log link keeps its account, text and range; a remembered retired page opens its tab. - A request whose lines are gone says so instead of linking to an empty list. - The log lines and the history rows share one row frame, and the server log one list frame with the other tabs; an empty list is announced; each day's quota is readable.
18 lines
671 B
Python
18 lines
671 B
Python
"""The account filter the activity page's lists share (runs, admin actions, server log, quota): one
|
|
filter bar drives them all, so the value it sends means the same on every tab.
|
|
|
|
The value is an account id, or `none` — the rows no account made (the background) — a value to filter
|
|
on, not the absence of a filter.
|
|
"""
|
|
|
|
from sqlalchemy import ColumnElement
|
|
|
|
NONE = "none"
|
|
# The `user` query parameter's shape on every route that takes it.
|
|
PATTERN = r"^(none|[0-9]{1,10})$"
|
|
|
|
|
|
def condition(column, value: str) -> ColumnElement[bool]:
|
|
"""`column` (an account id column) narrowed to `value`."""
|
|
return column.is_(None) if value == NONE else column == int(value)
|