From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 1 Aug 2013 20:03:25 +0000 (-0400)
Subject: Change "IP" to "HOST" in the --server arg.
X-Git-Tag: 0.2.0~8
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=95bd7958d5a3483ba2cbe232765138a7785b2429;p=haeredes.git

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

diff --git a/src/CommandLine.hs b/src/CommandLine.hs
index b489c7e..2118f59 100644
--- 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