On 08/19/2010 12:16 PM, Dr. David Kirkby wrote:
> I am running some doc tests on my Blade 1000 and was concerned that the
> file ptestlong.log had not had the time stamp changed for over an hour.
>
> Using ls, I see:
>
> -rw-r--r-- 1 drkirkby other 190759 Aug 19 16:36 ptestlong.log
>
> but when I typed 'date' immediately afterwards, I see
>
> $ date
> Thursday August 19 17:49:52 BST 2010
>
> We can see that the file had not been updated for 73 minutes!
>
> Finally when the file did get updated, the tests shown at the end had
> all taken at most a few tens of seconds to run. The longest any doctest
> took to run anywhere was less than 30 minutes.
>
> So any ideas why the log file is not getting updated a bit more frequently?
That is strange. What happens if you insert
sys.stdout.flush()
at the end of SAGE_LOCAL/bin/sage-ptest's process_result function? (I'm
not sure that this is the problem, but it might be worth checking.)
--
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
