mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-10 06:40:24 +09:00
When we are saving a file with sudo, if we interrupt sudo via Ctrl-c, it doesn't just kill sudo, it kills micro itself. The cause is the same as in the issue #2612 for RunInteractiveShell() which was fixed by #3357. So fix it the same way as in #3357.