Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-07-24 | Stop trying to fetch events with event_id=None. (#5753) | Richard van der Hoff | 4 | -11/+23 | |
`None` is not a valid event id, so queuing up a database fetch for it seems like a silly thing to do. I considered making `get_event` return `None` if `event_id is None`, but then its interaction with `allow_none` seemed uninituitive, and strong typing ftw. | |||||
2019-07-24 | Fix servlet metric names (#5734) | Jorik Schellekens | 10 | -31/+92 | |
* Fix servlet metric names Co-Authored-By: Richard van der Hoff <1389908+richvdh@users.noreply.github.com> |