Per Tim's comment on r50192: $res->free(); is useless and should not be used

diff --git a/profileinfo.php b/profileinfo.php
index 6056433..de03480 100644 (file)
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -301,10 +301,5 @@ foreach ($points as $point) {
 
 <p>Total time: <tt><?php printf("%5.02f", $totaltime) ?></tt></p>
 <p>Total memory: <tt><?php printf("%5.02f", $totalmemory / 1024 ) ?></tt></p>
-<?php
-
-$res->free();
-
-?>
 </body>
 </html>