#146 External processes are not (always?) killed

v0.2
open
nobody
Tools (28)
5
2011-01-16
2011-01-16
Pietro Battiston
No

To reproduce, simply:

- create a new LaTeX document

- put inside the following code:

\begin{tikzpicture}

\draw[->] (-.5,0) -- (4,0)
\draw[->] (-.5,1) -- (4,1);

\end{tikzpicture}

- compile to pdf, for instance with Ctrl+Alt+1

- the LaTeX code is bugged - a ";" is missing at the end of the first "\draw" command. On this faulty LaTeX, rubber just never ends, and that's not our problem here. However, if I go and click the red cross on the right of the progress reporting area, the small gears indicating "work in progress" turn to red crosses... but truth is that the underlying process keeps running! If you give the command "top", you will see pdflatex at 100% CPU.

Plugin version 2.0, on Debian.

Discussion