X-Git-Url: http://gitweb.michael.orlitzky.com/?p=haeredes.git;a=blobdiff_plain;f=src%2FMain.hs;h=4da383352360ee4a37a552805a5da88897c27c4f;hp=142ace670cf62d4a83796c431185d5af2eeb891f;hb=7d54d3e3e239342eae8b7fda5f5e4fb43adbbde8;hpb=825753e2731b8491d93d9f2d66b457fe31b1c763 diff --git a/src/Main.hs b/src/Main.hs index 142ace6..4da3833 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -1,68 +1,83 @@ module Main where -import qualified Data.ByteString.Char8 as BS (pack) +import Control.Concurrent.ParallelIO.Global ( + parallel, + stopGlobalPool ) +import Control.Monad (unless) +import qualified Data.ByteString.Char8 as BS ( + getContents, + pack, + words ) import Data.List ((\\)) -import Data.String.Utils (join, splitWs) +import Data.String.Utils (join) import Network.DNS ( Domain, FileOrNumericHost(RCHostName), ResolvConf(resolvInfo), defaultResolvConf, - lookupNS, makeResolvSeed, - withResolver - ) + withResolver ) -import System.IO (hGetContents, stdin) - -import CommandLine (Args(..), Delegates(..), get_args) +import CommandLine (Args(..), get_args) +import DNS ( + LookupResult, + lookupMX', + lookupNS', + normalize ) report :: (Domain, Maybe [Domain]) -> IO () report (d, Nothing) = putStrLn $ "Domain " ++ (show d) ++ " not delegated." report (d, Just leftovers) = - if null leftovers - then return () - else putStrLn $ "Domain " ++ - (show d) ++ - " delegates somewhere else: " ++ - (join " " (map show leftovers)) - -clean :: Delegates -> (Domain, Maybe [Domain]) -> (Domain, Maybe [Domain]) + unless (null leftovers) $ + putStrLn $ "Domain " ++ + (show d) ++ + " delegates somewhere else: " ++ + (join " " (map show leftovers)) + +clean :: [Domain] -- ^ List of delegates, @ds@ + -> LookupResult + -> LookupResult clean _ p@(_, Nothing) = p -clean (Delegates ds') (d, Just targets) = - (d, Just $ targets \\ ds) - where - ds = map BS.pack ds' +clean delgts (d, Just targets) = + (d, Just $ targets \\ delgts) + + main :: IO () main = do cfg <- get_args - print cfg - input <- hGetContents stdin + + -- This reads stdin. + input <- BS.getContents -- Split the input on any whitespace characters. - let domains' = splitWs input + let raw_domains = BS.words input - -- Convert those Strings to ByteStrings - let domains = map BS.pack domains' + -- Convert these to ByteStrings. + let raw_delegates = map BS.pack (delegates cfg) + + -- Normalize the given names and delegates + let nrml_domains = map normalize raw_domains + let nrml_delegates = map normalize raw_delegates let rc = case (server cfg) of Nothing -> defaultResolvConf Just s -> defaultResolvConf { resolvInfo = RCHostName s } rs <- makeResolvSeed rc - withResolver rs $ \resolver -> do - -- This function keeps the domain matches with its NS records. - let lookupNS' = \d -> (lookupNS resolver d) >>= (return . ((,) d)) - domains_ns <- mapM lookupNS' domains - let cdns = map (clean (delegates cfg)) domains_ns - - case cfg of - (NS _ _) -> - -- We're only checking NS records, so report what we found. - mapM_ report cdns - (MX _ _) -> - print "Hello, world." + + let lookup_function = case cfg of + (NS _ _) -> lookupNS' + (MX _ _) -> lookupMX' + + _ <- withResolver rs $ \resolver -> do + -- Bad stuff happens if we try to run these lookups in parallel + -- instead of the reports. + records <- mapM (lookup_function resolver) nrml_domains + let cleaned_records = map (clean nrml_delegates) records + parallel (map report cleaned_records) + + stopGlobalPool