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]