I found a few and have erradicated them. I also added some new functionality. You can now switch between CPU time and real (wall-clock) time
Applied, thanks. -- Dan
--------------------------------------it's like this-------------------
Dan Sugalski even samurai
[EMAIL PROTECTED] have teddy bears and even
teddy bears get drunk
