sync_file_offset
Description:
public void sync_file_offset ()
Rewinds the filedescriptor to the current buffer position and blows the file read ahead buffer.
This is useful for third party uses of the scanners filedescriptor, which hooks onto the current scanning position.
Parameters:
| this |
a Scanner |