Sometimes cvsps are left running

This happens in g.b.o from time to time.

20/03/2018:

8881 lorry      20   0   34052  10016   2212 R  87.2  0.1  10727:31 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pysnmp.cvs.sourceforge.net:/cvsroot/pysnmp pysnmp                                     
19902 lorry     20   0   33916   9992   2192 R  85.5  0.1   9977:40 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pysnmp.cvs.sourceforge.net:/cvsroot/pysnmp pysnmp                                     
7491 lorry      20   0   27432   3680   2244 R  80.9  0.0   8062:48 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pyasn1.cvs.sourceforge.net:/cvsroot/pyasn1 pyasn1                                     
20066 lorry     20   0   27432   3772   2336 R  80.9  0.0   4113:18 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pyasn1.cvs.sourceforge.net:/cvsroot/pyasn1 pyasn1                                     
16346 lorry     20   0   34316  10276   2212 R  80.2  0.1  13539:22 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pysnmp.cvs.sourceforge.net:/cvsroot/pysnmp pysnmp                                     
1019 lorry      20   0   28884   5048   2204 R  79.2  0.0  13828:58 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@expat.cvs.sourceforge.net:/cvsroot/expat expat                                        
16698 lorry     20   0   34316  10360   2296 R  78.2  0.1   6192:47 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pysnmp.cvs.sourceforge.net:/cvsroot/pysnmp pysnmp                                     
25981 lorry     20   0   27436   3728   2288 R  74.6  0.0   5185:49 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pyasn1.cvs.sourceforge.net:/cvsroot/pyasn1 pyasn1                                     
19967 lorry     20   0   27436   3748   2308 R  72.3  0.0   5586:46 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@pyasn1.cvs.sourceforge.net:/cvsroot/pyasn1 pyasn1                                     
1440 lorry      20   0   31428   7552   2244 R  54.0  0.0   7706:35 cvsps --norc -q --cvs-direct -u -A --root :pserver:anonymous@flex.cvs.sourceforge.net:/cvsroot/flex flex