> >17144 p2- RN   724:56.51 (pine)
> >17173 p2- RN   718:28.56 (pine)
> 
> At least you have a fully used CPU  :)

Not a real solution, but maybe you could limit the CPU time usage to
3600 seconds or 7200 seconds / user, so pine would eventually be killed
by the system.

  -jm

-- 

                     ---> http://www.jmp.fi/~jmarin/ <---