ajaxorg/cloud9 — pull request #2307 by sergi (2012-10-11 13:07:14+00:00)
Title: Restore ps and kill commands

@ajaxorg/knuth @zefhemel @fjakobs