Plugin to terminate another plugin

2009-11-26 Thread Gajo Csaba
Hello, I use the exec plugin to run some external processes. It is possible for one of these processes to get into an eternal loop, so the build will hang. Is there a way to terminate this goal after, let's say, 10 seconds? If there's no thing that's already made, is there a way to write a

Re: Plugin to terminate another plugin

2009-11-26 Thread Jörg Schaible
Hi Csaba, Gajo Csaba wrote at Donnerstag, 26. November 2009 17:21: Hello, I use the exec plugin to run some external processes. It is possible for one of these processes to get into an eternal loop, so the build will hang. Is there a way to terminate this goal after, let's say, 10