diff options
| author | Martin Trigaux <564822+mart-e@users.noreply.github.com> | 2018-03-22 09:00:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-22 09:00:00 +0100 |
| commit | 168b3490cdc40bd9e0da4e79cca39a07b1ae8296 (patch) | |
| tree | 907dc60fc06f8beaf158c6cec033a67024624cfa /addons/web/static/src/js | |
| parent | 76027a6e1270596e55d0522241160f7def9f1d24 (diff) | |
[IMP] service: convert uid to int
Make sure the user id received by the RPC call is an integer
Avoids errors like #23534
Crash early in case of bad uid format instead of propagating another value
Diffstat (limited to 'addons/web/static/src/js')
0 files changed, 0 insertions, 0 deletions