records: better PID list
Reviewed-by: Jiri Kuncar <jiri.kuncar@cern.ch> Signed-off-by: Esteban J. G. Gabancho <esteban.gabancho@gmail.com>