1--TEST-- 2Bug #75236: infinite loop when printing an error-message 3--FILE-- 4<?php 5 6 ini_set('html_errors', true); 7 ini_set('default_charset', 'ISO-8859-2'); 8 9 printf ("before getfilecontent\n"); 10 file_get_contents ('no/suchfile'); 11 printf ("after getfilecontent\n"); 12 13?> 14--EXPECTF-- 15before getfilecontent 16<br /> 17<b>Warning</b>: file_get_contents(no/suchfile): Failed to open stream: No such file or directory in <b>%s</b> on line <b>7</b><br /> 18after getfilecontent 19
