CodeEditor: cannot abort processing intensive scripts.
I executed the 2nd exercise of the ET1 course, and the abort functionality did not work.
(from redmine: issue id 1961, created on 2014-10-30 by root, closed on 2014-10-30)
- Changesets:
- Revision 1714 by Benjamin Fischer on 2014-10-30T19:53:44Z:
CodeEditor: fix process termination to actually term/kill all childprocesses fix #1961
- Revision 1715 by Benjamin Fischer on 2014-10-30T19:53:44Z:
CodeEditor: fix process termination to actually term/kill all childprocesses fix #1961
(transplanted from commit:69bc47a826c2)
- Revision 1714 by Benjamin Fischer on 2014-10-30T19:53:44Z:
CodeEditor: fix process termination to actually term/kill all childprocesses fix #1961
- Revision 1715 by Benjamin Fischer on 2014-10-30T19:53:44Z:
CodeEditor: fix process termination to actually term/kill all childprocesses fix #1961
(transplanted from commit:69bc47a826c2)