kframework/k — pull request #1200 by dwightguth (2014-11-21 17:53:42+00:00)
Title: close some memory leaks involving nailgun

@yilongli please review

This pull request removes some major dominators that were keeping memory accessible long after the application had quit