Killing a user's session

Yesterday I took Matt the intern to the COLO to show him one of the servers. He had never been to a COLO so we decided to do a fieldtrip.
While we were at the COLO I showed him how to log into the server
We then locked up the server rack and left. This morning I realized that I had never logged out of the server before I locked up the cabinet. I logged into the server by SSH and issued the command

$ who
james    tty1         Oct  6 11:35
james    pts/0        Oct  7 08:15 (-- my reverse DNS information here --)

Looking at the result I know that My current SSH login was the one on pts/0 and the one from yesterday was pts/0. I had never remotely killed a session so I quickly searched Google and found this page
I issued the following command to log out my previous session:
$ skill -KILL -v tty1
tty1     james     5509 bash  

My session from yesterday is now stopped.

Post new comment

The content of this field is kept private and will not be shown publicly.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.
  • You may post code using <code>...</code> (generic) or <?php ... ?> (highlighted PHP) tags.

More information about formatting options

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
10 + 2 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.