- can_manage_contacts, nr_edits, nr_edits_live =
- match sth#fetch1 () with
- [`String name; (`Null | `String _) as email;
- `Date registration_date;
- `Bool can_edit; `Bool can_manage_users; `Bool can_manage_contacts;
- `Int nr_edits; `Int nr_edits_live] ->
- name, email, registration_date, can_edit, can_manage_users,
- can_manage_contacts, nr_edits, nr_edits_live
- | _ -> assert false in
+ can_manage_contacts, can_manage_site, can_edit_global_css,
+ can_import_mail, nr_edits, nr_edits_live =
+ match rows with
+ | [name, email, registration_date,
+ can_edit, can_manage_users, can_manage_contacts,
+ can_manage_site, can_edit_global_css,
+ can_import_mail,
+ nr_edits, nr_edits_live] ->
+ name, email, registration_date, can_edit, can_manage_users,
+ can_manage_contacts, can_manage_site, can_edit_global_css,
+ can_import_mail, nr_edits, nr_edits_live
+ | _ -> assert false in