timeval: Don't issue poll interval warnings when we warp time.
authorBen Pfaff <blp@nicira.com>
Fri, 1 Feb 2013 18:25:51 +0000 (10:25 -0800)
committerBen Pfaff <blp@nicira.com>
Mon, 11 Feb 2013 21:22:30 +0000 (13:22 -0800)
It's not meaningful in that case.

Signed-off-by: Ben Pfaff <blp@nicira.com>
Acked-by: Ethan Jackson <ethan@nicira.com>

No differences found