upstream merge

diff --git a/phpdbg_utils.c b/phpdbg_utils.c
index 86c17a71beee402bc1610954b570a209003db6bf..7b2000da0ea024ac84a6556c7d53184df6e6842b 100644 (file)
--- 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(