playframework/playframework — pull request #1592 by richdougherty (2013-09-04 02:33:38+00:00)
Title: Clean up JLine threads when no longer needed

This fixes a thread leak in the run task, see #1453.