diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-06-09 20:56:54 +0100 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-06-10 12:54:57 +0100 |
| commit | 63d53938f106541a68b3ed32103e7088649e5d8d (patch) | |
| tree | b6d9d083fd106a9cfce9bdfef47bcdb1c5d01159 | |
| parent | 1d31402dcb0e056b5e66a243c5a02c28596d8684 (diff) | |
| download | netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.gz netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.bz2 | |
Include time in GENERIC POLL TIMED
| -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; |