Code

patches: Added 02-php5.4.diff -- use ob_end_flush() in favor of ob_end_clean()
authorSebastian Harl <sh@tokkee.org>
Tue, 3 Apr 2012 11:06:51 +0000 (13:06 +0200)
committerSebastian Harl <sh@tokkee.org>
Tue, 3 Apr 2012 11:06:51 +0000 (13:06 +0200)
commitdb8d815246f8df7c32b944e941cc127354b2adfe
tree49ed33a34ed7d963f647b28ed4ec39ddef491ace
parentdf9415e8465697b518681340d03737ecc81694d7
patches: Added 02-php5.4.diff -- use ob_end_flush() in favor of ob_end_clean()

… if the buffer contains any data to make sure the rendered page is actually
displayed (PHP 5.4 handles end_clean() a bit different than previous
versions).

Thanks to Bernhard Schmidt for reporting this and Jörg Linge for tracking down
to problem.
Closes: #665197
debian/changelog
debian/patches/02-php5.4.diff [new file with mode: 0644]
debian/patches/series