Extracted from Pike v7.6 release 93 at 2006-10-04.
pike.ida.liu.se
[Top]
7.2::
String
String.String_buffer

Method String.String_buffer()->flush()


Method flush

void flush()

Description

Clear the buffer.