aspnet/KRuntime — pull request #630 by ChengTian (2014-09-12 20:53:28+00:00)
Title: Rename option and env var for DTH port

- Rename '--port' to '--dth-port'
- Rename 'KRE_COMPILATION_SERVER_PORT' to 'KRE_DTH_SERVER'

parent #538

@davidfowl @loudej , please help to review at your earliest convenience.