This will require us to remove the checked out source trees.  I'll do
so once the current run has come past the three directories.

I had to manually kill a bunch of processes and remove lock files
since the 6pm run didn't kill all childs, or so it seemed.  There have
been five lock files and about 10 python processes I had to remove in
order to get the 0am Gump run unstuck.

Stefan

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to