Include time in GENERIC POLL TIMED

This commit is contained in:
Daniel Silverstone 2017-06-09 20:56:54 +01:00
parent 1d31402dcb
commit 63d53938f1
2 changed files with 5 additions and 2 deletions

View File

@ -143,9 +143,12 @@ Responses
a window.
GENERIC POLL BLOCKING
GENERIC POLL TIMED nnnn
Monkey reached a point where it could sleep waiting for
commands or scheduled timeouts. No fetches nor redraws
were pending.
were pending. If there are no timeouts or other pending
jobs then this will be a BLOCKING poll, otherwise the number
given is in milliseconds.
Window messages
---------------

View File

@ -287,7 +287,7 @@ static void monkey_run(void)
default:
LOG("Iterate non-blocking");
fprintf(stdout, "GENERIC POLL TIMED\n");
fprintf(stdout, "GENERIC POLL TIMED %d\n", schedtm);
tv.tv_sec = schedtm / 1000; /* miliseconds to seconds */
tv.tv_usec = (schedtm % 1000) * 1000; /* remainder to microseconds */
timeout = &tv;