Paul Ollis 6574577cac patch 8.2.5057: using gettimeofday() for timeout is very inefficient ...

Problem:    Using gettimeofday() for timeout is very inefficient.
Solution:   Set a platform dependent timer. (Paul Ollis, closes #10505)

2022-06-05 16:55:54 +01:00

4.9 KiB

Raw Blame History

View Raw