Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

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.