Subsecond sleep

[Jed Brown]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20091016/635b5151/attachment.sig>