Fix kill pager pid throwing Errno::ESRCH when pager process already t…

…erminated (#989)
ruby · Aug 14, 2024 · 949f032 · 949f032
1 parent ab394db
commit 949f032
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/irb/pager.rb b/lib/irb/pager.rb
@@ -33,7 +33,11 @@ def page(retain_content: false)
       # the `IRB::Abort` exception only interrupts IRB's execution but doesn't affect the pager
       # So to properly terminate the pager with Ctrl-C, we need to catch `IRB::Abort` and kill the pager process
       rescue IRB::Abort
-        Process.kill("TERM", pid) if pid
+        begin
+          Process.kill("TERM", pid) if pid
+        rescue Errno::ESRCH
+          # Pager process already terminated
+        end
         nil
       rescue Errno::EPIPE
       end