gameServer/ConfigFile.hs
changeset 4982 3572eaf14340
parent 4975 31da8979e5b1
child 4988 bd540ba66599
equal deleted inserted replaced
4981:0c60ade27a0a 4982:3572eaf14340
     9 
     9 
    10 readServerConfig serverInfo' = do
    10 readServerConfig serverInfo' = do
    11     cfg <- readConfig "hedgewars-server.ini"
    11     cfg <- readConfig "hedgewars-server.ini"
    12     let si = serverInfo'{
    12     let si = serverInfo'{
    13         dbHost = value "dbHost" cfg
    13         dbHost = value "dbHost" cfg
       
    14         , dbName = value "dbName" cfg
    14         , dbLogin = value "dbLogin" cfg
    15         , dbLogin = value "dbLogin" cfg
    15         , dbPassword = value "dbPassword" cfg
    16         , dbPassword = value "dbPassword" cfg
    16         , serverConfig = Just cfg
    17         , serverConfig = Just cfg
    17     }
    18     }
    18     return si
    19     return si