Closed dginev closed 2 months ago
While checking #2338 I noticed that the status_code field was not being set for latexmlc calls that used a daemonized server.
status_code
It helps to have that set, so that latexmlc can choose a correct exit status.
While checking #2338 I noticed that the
status_code
field was not being set for latexmlc calls that used a daemonized server.It helps to have that set, so that latexmlc can choose a correct exit status.