Merged in mike-small-tweaks (pull request #337)

A few small tweaks
This commit is contained in:
Mike Hearn
2016-09-08 12:40:14 +02:00
3 changed files with 4 additions and 5 deletions

View File

@ -9,7 +9,7 @@ import java.net.InetAddress
import java.nio.file.Path
import java.nio.file.Paths
val log = LoggerFactory.getLogger("Main")
private val log = LoggerFactory.getLogger("Main")
object ParamsSpec {
val parser = OptionParser()