summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Silverstone <dsilvers@digital-scurf.org>2017-06-09 19:56:54 (GMT)
committer Daniel Silverstone <dsilvers@digital-scurf.org>2017-06-10 11:54:57 (GMT)
commit63d53938f106541a68b3ed32103e7088649e5d8d (patch)
treeb6d9d083fd106a9cfce9bdfef47bcdb1c5d01159
parent1d31402dcb0e056b5e66a243c5a02c28596d8684 (diff)
downloadnetsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.gz
netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.bz2
Include time in GENERIC POLL TIMED
-rw-r--r--docs/using-monkey.md5
-rw-r--r--frontends/monkey/main.c2
2 files changed, 5 insertions, 2 deletions
diff --git a/docs/using-monkey.md b/docs/using-monkey.md
index 33e5042..53f912e 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 0059ff0..716d1ae 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;