ScannerG.syncFileOffset

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.

class ScannerG
void
syncFileOffset
()