Subsecond sleep

[Barry Smith]

   It is fine with me to switch the infrastructure to use a PetscReal  
instead of integer

   Barry

On Oct 16, 2009, at 5:02 AM, Jed Brown wrote:

> I sometimes want to slow down animation with a small problem size and
> -draw_pause is generally does what I want, but it can only take  
> integer
> arguments and pausing for a whole second every time is often too much.
> There are subsecond sleep functions (like usleep and nanosleep) in
> POSIX, and I've rolled my own micro-sleep command-line option more  
> than
> once now.  Is there a compelling reason not to make -draw_pause and
> PetscSleep take a real value, thus offering higher resolution when  
> it is
> available?
>
> Jed
>