>>>>> "Peter" == Peter Chubb <peter.ch...@nicta.com.au> writes:
>>>>> "Ondřej" == Ondřej Surý <ond...@debian.org> writes: Ondřej> could you try that with some simple script? Actually here's an even simpler script: <?php @set_time_limit(3600); @ini_set('max_execution_time', 3600); while (1) { echo date(DATE_RFC822) ; echo "\n"; } ?> I find this behaves correctly on some machines. but not the one running my webserver :-( -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org