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 /frontends | |
parent | 1d31402dcb0e056b5e66a243c5a02c28596d8684 (diff) | |
download | netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.gz netsurf-63d53938f106541a68b3ed32103e7088649e5d8d.tar.bz2 |
Include time in GENERIC POLL TIMED
Diffstat (limited to 'frontends')
-rw-r--r-- | frontends/monkey/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; |