Bug #72024 [Com]: microtime() leaks memory

Edit report at https://bugs.php.net/bug.php?id=72024&edit=1 ID: 72024 Comment by: maroszek at gmx dot net Reported by: maroszek at gmx dot net Summary: microtime() leaks memory Status: Closed Type: Bug Package: Date/time related Operating System: Windows 10 x64 PHP Version: 5.6.20 Assigned To: ab Block user comment: N Private report: N New Comment: Awesome. Thanks! Previous Comments: ------------------------------------------------------------------------ [2016-07-08 13:07:36] jpauli@php.net Automatic comment on behalf of maroszek@gmx.net Revision: http://git.php.net/?p=php-src.git;a=commit;h=0be13d2dc24f2802a231f92912ba5d089dad6676 Log: fix bug #72024 (microtime() leaks memory) ------------------------------------------------------------------------ [2016-07-08 13:07:22] jpauli@php.net Automatic comment on behalf of maroszek@gmx.net Revision: http://git.php.net/?p=php-src.git;a=commit;h=0be13d2dc24f2802a231f92912ba5d089dad6676 Log: fix bug #72024 (microtime() leaks memory) ------------------------------------------------------------------------ [2016-07-08 13:07:04] jpauli@php.net Automatic comment on behalf of maroszek@gmx.net Revision: http://git.php.net/?p=php-src.git;a=commit;h=0be13d2dc24f2802a231f92912ba5d089dad6676 Log: fix bug #72024 (microtime() leaks memory) ------------------------------------------------------------------------ [2016-07-08 09:50:09] maroszek at gmx dot net I accidentally added another commit to the PR. Can you merge both commits or shall it just cancel the PR and create a new one? The other commit is just a backport from an already accepted one: https://bugs.php.net/bug.php?id=71144 Sorry for the mess. ------------------------------------------------------------------------ [2016-07-07 12:29:41] maroszek at gmx dot net I added a fix and PR here: https://github.com/php/php-src/pull/1989 It would be awesome if you could merge this. PHP7 is not affected. It just NOPs this function. ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at https://bugs.php.net/bug.php?id=72024 -- Edit this bug report at https://bugs.php.net/bug.php?id=72024&edit=1