amplab/tachyon — pull request #479 by dcapwell (2014-10-20 21:51:30+00:00)
Title: made kill command be more polite

Do a kill 15 then wait for 30 seconds. If the process doesn't die in time, then kill -9 it.

@rootfs @haoyuan