26/03/2014 16:24, Pavel Sanda:
I the __attribute((unused)) portable in general?Why not use the return value to output a lyxerr warning if needed?That was my first idea. But we no more have filename in our hands so most we can output is something like "can't unlock file". You prefer this?
Well, at least we will know that this triggers and maybe take a look at it. Is it a problem when locking does not succeed?
JMarc
