diff options
-rw-r--r-- | docs/using-monkey.md | 5 | ||||
-rw-r--r-- | 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; |