>>>>> "Bennett" == Bennett Helm <[EMAIL PROTECTED]> writes:
>> Would it be a good idea to decide that, when the \server_pipe value >> is set to a relative path, then it should be understood as relative >> to user_dir? Bennett> I'm not sure of the issues here: why would I be likely to put Bennett> the lyxpipe anywhere other than the default location? _I_ do, because my home directory is under AFS (a distributed file system) and this does not support pipes. The same would hold for NFS. JMarc
