Change "IP" to "HOST" in the --server arg.

diff --git a/src/CommandLine.hs b/src/CommandLine.hs
index b489c7eb686670f7bfa7d515be99d3ff509513dc..2118f5911ec2c533128f5a5c41530348ca10c362 100644 (file)
--- a/src/CommandLine.hs
+++ b/src/CommandLine.hs
@@ -91,7 +91,7 @@ arg_spec =
 
            server = def
                  &= groupname "Common flags"
-                 &= typ "IP"
+                 &= typ "HOST"
                  &= help server_help,
 
            delegates = def