From: Anatol Belski <ab@php.net>
Date: Tue, 24 Dec 2013 20:08:33 +0000 (+0100)
Subject: fixed incompatible pointer in phpdbg on win64
X-Git-Tag: php-5.6.0alpha1~89
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=00c7b973bb0b58161c08a4fee65f7afa0d5094d3;p=php

fixed incompatible pointer in phpdbg on win64
---

diff --git a/sapi/phpdbg/phpdbg_utils.c b/sapi/phpdbg/phpdbg_utils.c
index 86c17a71be..7b2000da0e 100644
--- a/sapi/phpdbg/phpdbg_utils.c
+++ b/sapi/phpdbg/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(