class IRB::JobManager

def kill(*keys)

See Thread#exit for more information.

terminated.
Raises an IrbAlreadyDead exception if one of the given +keys+ is already

Terminates the irb sessions specified by the given +keys+. 
def kill(*keys)
  for key in keys
    th, _ = search(key)
    fail IrbAlreadyDead unless th.alive?
    th.exit
  end
end