What's the best way, idiomatically, of getting the file contents (into a string) of a flock
'd file in PHP?
Edit: To be clear, this is something locked by the current page/process. Something like:
if(flock($fp ...)) {
$str = READFILECONTENTS($fp);
flock(...);
}