playframework/play — pull request #474 by itsadok (2012-03-01 14:07:03+00:00)
Title: [#1449] Handle SIGINT from play script

https://play.lighthouseapp.com/projects/57987-play-framework/tickets/1449-sigint-handling