Freeing the memory would be a good idea...

diff --git a/ext/standard/file.c b/ext/standard/file.c
index f9384b17689982f0790c88ac42421dc63481354e..4fce9179bcbd1a27aed5eaa8f13742c497205859 100644 (file)
--- a/ext/standard/file.c
+++ b/ext/standard/file.c
@@ -1713,6 +1713,7 @@ PHP_FUNCTION(fd_set)
                 FD_SET(fd, &readfd);
                 if(fd > max_fd) max_fd = fd;
                }
+       efree(args);
        }
        RETURN_LONG(1);
 }