Comment 3 for bug 635846

Revision history for this message
Ruben Verweij (ruben-verweij) wrote :

I can confirm this bug. This is pretty serious, because each extra process uses up system resources. Wouldn't it be better to change the path of the existing terminal rather than to fork a new process?