diff options
| author | Trygve Aaberge <trygveaa@gmail.com> | 2020-08-29 13:12:45 +0200 |
|---|---|---|
| committer | Trygve Aaberge <trygveaa@gmail.com> | 2020-09-08 13:17:13 +0200 |
| commit | fc2bcba111bdc40a001f9ec481c6dc6143da990c (patch) | |
| tree | 4374e195f6d99fd172b669f7490567fde46854a0 /generate_docs.py | |
| parent | 31f2970b9cee84398a8bea8bcde2b46f84bff217 (diff) | |
| download | wee-slack-fc2bcba111bdc40a001f9ec481c6dc6143da990c.tar.gz | |
Check that user is not None in typing notices
I have experienced this being called with a user id we're not aware of,
in which case metadata["user"] will be None. I think shared
teams/channels are the reason for this.
We should look up the user id when it's unknown, but for now just ignore
typing notices for unknown users so we don't get an exception.
Diffstat (limited to 'generate_docs.py')
0 files changed, 0 insertions, 0 deletions