jamesward/play-auto-refresh — pull request #20 by mariussoutier (2014-07-12 15:12:14+00:00)
Title: Send current port to Chrome plugin

Scan the port set via `-Dhttp.port` (or take 9000 as default) and send it to the Chrome plugin
This is for https://github.com/jamesward/play-framework-chrome-tools/issues/10