From 1d3a53a18d87a9fca3cb1fc857201dd2dfc8f9d0 Mon Sep 17 00:00:00 2001 From: Joe Watkins Date: Wed, 25 Dec 2013 18:50:25 +0000 Subject: [PATCH] upstream merge --- phpdbg_utils.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/phpdbg_utils.c b/phpdbg_utils.c index 86c17a71bee..7b2000da0ea 100644 --- a/phpdbg_utils.c +++ b/phpdbg_utils.c @@ -290,8 +290,9 @@ PHPDBG_API int phpdbg_rlog(FILE *fp, const char *fmt, ...) { /* {{{ */ if (gettimeofday(&tp, NULL) == SUCCESS) { char friendly[100]; char *format = NULL, *buffer = NULL; + const time_t tt = tp.tv_sec; - strftime(friendly, 100, "%a %b %d %T.%%04d %Y", localtime(&tp.tv_sec)); + strftime(friendly, 100, "%a %b %d %T.%%04d %Y", localtime(&tt)); asprintf( &buffer, friendly, tp.tv_usec/1000); asprintf(