We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7f385bc commit 7bbb885Copy full SHA for 7bbb885
lib/irb/pager.rb
@@ -34,7 +34,12 @@ def page(retain_content: false)
34
# So to properly terminate the pager with Ctrl-C, we need to catch `IRB::Abort` and kill the pager process
35
rescue IRB::Abort
36
begin
37
- Process.kill("TERM", pid) if pid
+ begin
38
+ Process.kill("TERM", pid) if pid
39
+ rescue Errno::EINVAL
40
+ # SIGTERM not supported (windows)
41
+ Process.kill("KILL", pid)
42
+ end
43
rescue Errno::ESRCH
44
# Pager process already terminated
45
end
0 commit comments