gameServer/Opts.hs
branch0.9.14.1
changeset 4334 82cfbbab73da
parent 4242 5e3c5fe2cb14
child 4337 85e02b1a8e8f
equal deleted inserted replaced
4333:ae71dff40ecc 4334:82cfbbab73da
     1 module Opts
     1 module Opts
     2 (
     2 (
     3     getOpts,
     3     getOpts,
     4 ) where
     4 ) where
     5 
     5 
     6 import System
     6 import System.Environment ( getArgs )
     7 import System.Console.GetOpt
     7 import System.Console.GetOpt
     8 import Network
     8 import Network
     9 import Data.Maybe ( fromMaybe )
     9 import Data.Maybe ( fromMaybe )
    10 import CoreTypes
    10 import CoreTypes
    11 import Utils
    11 import Utils