Fix for bug #10815.

diff --git a/ext/standard/info.c b/ext/standard/info.c
index 3f7832fd7fa717fa6a521c53be164832bdff7d70..d8451b9ea3221968bf134dafc4e6e8390ad72b62 100644 (file)
--- a/ext/standard/info.c
+++ b/ext/standard/info.c
@@ -321,6 +321,8 @@ PHPAPI void php_print_info(int flag)
                PUTS("</P>\n");
                php_info_print_box_end();
        }
+
+  PUTS("</BODY></HTML>");
 }