I remember opening another terminal, finding the PID and killing it that way. Then I learned the easy way.
Not a member of The Register? Create a new account here.
Remember me on this computer? Post anonymously?