I wonder what was the rationale of hard-coding the file names /document.tex, /document.pdf, '/document.log, and /document.aux in the worker. It should be easy enough to forward the actual name of the main document to the worker and to name the files accordingly. Current error messages containing document.tex can be surprising to the user, and using the actual file name would resolve that. If it helps then I'd be happy to prepare a PR.
I wonder what was the rationale of hard-coding the file names
/document.tex,/document.pdf,'/document.log, and/document.auxin the worker. It should be easy enough to forward the actual name of the main document to the worker and to name the files accordingly. Current error messages containingdocument.texcan be surprising to the user, and using the actual file name would resolve that. If it helps then I'd be happy to prepare a PR.