From 63d53938f106541a68b3ed32103e7088649e5d8d Mon Sep 17 00:00:00 2001 From: Daniel Silverstone Date: Fri, 9 Jun 2017 20:56:54 +0100 Subject: Include time in GENERIC POLL TIMED --- docs/using-monkey.md | 5 ++++- frontends/monkey/main.c | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/using-monkey.md b/docs/using-monkey.md index 33e504239..53f912e4d 100644 --- a/docs/using-monkey.md +++ b/docs/using-monkey.md @@ -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 --------------- diff --git a/frontends/monkey/main.c b/frontends/monkey/main.c index 0059ff047..716d1ae1a 100644 --- a/frontends/monkey/main.c +++ b/frontends/monkey/main.c @@ -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; -- cgit v1.2.3