Skip to content

List.pm: ensure uniqueness when adding to source id list

David Verdin requested to merge github/fork/mpkut/6.2.34_fix_source_id into sympa-6.2

Created by: mpkut

At our site we encountered some cases where the same source ID was present multiple times in the include_sources_subscriber column of the subscriber_table. The current code simply adds new source ID's to the end of the current list, without any checks. This update adds a small utility function that suppresses duplicate source ID's when adding them to the list.

Merge request reports

Loading