summaryrefslogtreecommitdiff
path: root/phpdbg_utils.c
diff options
context:
space:
mode:
authorkrakjoe <joe.watkins@live.co.uk>2013-12-02 13:25:20 +0000
committerkrakjoe <joe.watkins@live.co.uk>2013-12-02 13:25:20 +0000
commitfed41baf28b8451e30bdc0f4a8b8d590a35f323e (patch)
treeccabb87e971f18ed5c4eab58ea4cb71173b6028b /phpdbg_utils.c
parente05b4977c5538f10c8cda6aba013116153262ac2 (diff)
parente6970ade6d4332f24b847ea896b49be03d31674e (diff)
downloadphp-git-fed41baf28b8451e30bdc0f4a8b8d590a35f323e.tar.gz
Merge branch 'master' of https://github.com/krakjoe/phpdbg
Diffstat (limited to 'phpdbg_utils.c')
-rw-r--r--phpdbg_utils.c5
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;