(get_user_id): Do not assume uid fits in 'int'. Simplify.
Attach a file by drag & drop or click to upload
