Re: RMAIL file locking problem?

[Richard Stallman]

    Or could one check the C code for "insert-file-contents"?  Does it
    mark the buffer modified if 0 bytes were read.

The code appears specifically to avoid marking the buffer modified
if the file has zero size.  I just did a test, inserting an empty
file into a buffer this way.  It did not mark the buffer modified
and did not lock the file.

Something we don't understand must be happening, and only you
are in a position to debug it.