Extracted from Pike v8.0 release 28 as of 2015-09-20.
   

Method Stdio.Buffer()->read_only()


Method read_only

void read_only()

Description

Make the buffer permanently read only.

Note

You can use lock() to do this temporarily.