void flush(void)

[Anon]

Can you help me in use this command:
void flush(void)
I have to empty php buffer in a heavy file.
Can I use FLUSH to do this? And where I have to put in my php file?
At the end or in the middle?

Use thi example to explain me all.

<?
$sql = "SELECT * FROM tab";

$sql_result = mysql_query($sql,$connection);

while ($ValoriRiga = mysql_fetch_array($sql_result))
{
$val0 = $ValoriRiga["$campo0"];
echo $val0;
}

flush(void);
?>

[Anon]

You use flush()at the point where you want to flush the buffer.
Remember, this is an expensive (slow) operation, so don't do it too often.
If speed is not a big issue, you could use a counter to flush after printing 100 or 1000 lines.

[Anon]

When deos it be good to use. for 10...100...1000 lines?

Which command is correct?:

<?
void flush(void);
?>
OR
<?
flush(void);
?>
OR
<?
flush();
?>

[Anon]

the format is:

<?
flush();
?>

Like I said, flush is slow, so you should not do it after every line of text.

try something like this:

$t=0;
while (results)
{
print result;
++$t;
if ($t==100)
{
flush();
$t=0;
};
};

[Anon]

"void" is the data type. In otherwords, no arguement is required and value is returned. Just call the function:

<?php
flush();
?>