Author: Yann Droneaud
Revision Date: 2012-02-24 19:10:27 UTC

sort the ignore pid list

- check that no pid is listed twice
- optimized a bit the pid search
  but it's not a binary search
- additionnaly fix the length check