Cal-CS-61A-Staff/ok — pull request #264 by albert12132 (2014-10-16 06:15:27+00:00)
Title: Terminate server requests when software update succeeds

Specifically, this takes care of the case where a student runs `ok --submit` and ok requires a software update.