diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2023-05-12 12:12:34 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2023-05-12 12:12:34 +0200 |
| commit | aa2e96a3dc66b7c3607540847d8fada6bb1a6331 (patch) | |
| tree | 6c06bdaf1972c0920ff0af096adb9771f1ae0255 /INSTALL | |
| parent | 29bf2275f6cdf6e45f2987035097de2f79f0c6d2 (diff) | |
| download | sciteco-aa2e96a3dc66b7c3607540847d8fada6bb1a6331.tar.gz | |
fixup EC on Win32 and interruptions via CTRL+C
* This especially fixes spawning on 0,128ED-mode broken since
f557af9a9112955d3b65f6ad0d54c0791189f961.
* The process is added to a job object now, which allows us to
kill the entire process tree.
Previously we we were leaving around orphaned processes.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions