Expand description
Who may use a tool on a course: the token’s scopes are checked by dispatch, the teacher’s live roles here, with the course-edit rule the web UI uses.
Functions§
- authorize_
course - The course, if it exists and the user may edit it.
- connection
- A pooled connection; a busy pool is a retryable error.
- deleted_
in_ staged_ changes - The error for a page the user’s staged changes delete.
- editable_
courses - The courses among
coursesa user withrolesmay edit, by the rule ofauthorize_course. - load_
page_ facts - The live
PageFactsof the course’s pages. - open_
course - Authorizes the course argument and loads the course as the user sees it. The connection goes
back to the pool before the tool’s own work; handlers that query again take one with
connection. - open_
course_ parts open_courseloading only the parts of the course a tool reads.- page_
in_ course - The page id argument, checked to belong to the course (as staged or as published).
- staged_
page_ document - The page as
staged, a state with the user’s staged changes, has it. - state_
of - The state a read asks for.