[Mailman-Users] REST API user_id and mailman_id are big integers

Kiffin Gish kiffin.gish at planet.nl
Mon Apr 22 04:18:32 EDT 2019


Hi there.

I'm implementing a frontend for accessing the mailman-core via the REST 
interface.

Two problems arise, and both are related to the fact that in the json 
response the mailman_id and the user_id are big integers.

As the values are greater than the maximum json integer format they 
appear as exponential values with the last digits truncated.

I was just wondering if there is a proper way to handle this and/or it 
is possible for the REST API to return these values as strings rather 
than numbers.

Kind regards,

Kiffin

-- 
Kiffin Gish
Gouda, The Netherlands



More information about the Mailman-Users mailing list