[bug] (probably fixes bug[#6204]) task_manager.pl sometimes ignores signal to...
[bug] (probably fixes bug[#6204]) task_manager.pl sometimes ignores signal to shutdown it. If there are large number of lists, calling get_lists() can take long time and the process cannot deal with TERM signal. Now get_lists() checks HUP, INT and TERM signals and returns immediately when signal is raised. As a side effect of this fix, get_lists() may return undef. git-svn-id: https://subversion.renater.fr/sympa/branches/sympa-6.2-branch@12052 05aa8bb8-cd2b-0410-b1d7-8918dfa770ce