method

kill

ruby latest stable - Class: IRB::JobManager

kill(*keys)

public

Terminates the irb sessions specified by the given keys.

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

See Thread#exit for more information.

# File lib/irb/ext/multi-irb.rb, line 84
    def kill(*keys)
      for key in keys
        th, _ = search(key)
        IRB.fail IrbAlreadyDead unless th.alive?
        th.exit
      end
    end

kill

Related methods