diff options
author | krakjoe <joe.watkins@live.co.uk> | 2013-12-02 13:25:20 +0000 |
---|---|---|
committer | krakjoe <joe.watkins@live.co.uk> | 2013-12-02 13:25:20 +0000 |
commit | fed41baf28b8451e30bdc0f4a8b8d590a35f323e (patch) | |
tree | ccabb87e971f18ed5c4eab58ea4cb71173b6028b /phpdbg_utils.c | |
parent | e05b4977c5538f10c8cda6aba013116153262ac2 (diff) | |
parent | e6970ade6d4332f24b847ea896b49be03d31674e (diff) | |
download | php-git-fed41baf28b8451e30bdc0f4a8b8d590a35f323e.tar.gz |
Merge branch 'master' of https://github.com/krakjoe/phpdbg
Diffstat (limited to 'phpdbg_utils.c')
-rw-r--r-- | phpdbg_utils.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/phpdbg_utils.c b/phpdbg_utils.c index 4b58448f0a..67e1cbc464 100644 --- a/phpdbg_utils.c +++ b/phpdbg_utils.c @@ -19,6 +19,7 @@ #include <stdio.h> #include <ctype.h> +#include <string.h> #include "zend.h" #include "php.h" #include "spprintf.h" @@ -246,12 +247,10 @@ PHPDBG_API int phpdbg_rlog(FILE *fp, const char *fmt, ...) { /* {{{ */ int rc = 0; va_list args; - time_t now; struct timeval tp; va_start(args, fmt); - if (gettimeofday(&tp, NULL) == SUCCESS) - { + if (gettimeofday(&tp, NULL) == SUCCESS) { char friendly[100]; char *format = NULL, *buffer = NULL; |