791792793794795796797798799800801
} finally { if (cache != null) cache.release(buf); } if (!str.isNil() && !noLimit) { fptr.incrementLineno(runtime); } } finally { if (locked) fptr.unlock(); }