X-Git-Url: http://www.average.org/gitweb/?p=pdns-pipe-nmc.git;a=blobdiff_plain;f=PowerDns.hs;h=0b05386f13058a992a827553566f0e99665a379e;hp=7ed76e8a24bc046dcb42a96382d932f20c4210cb;hb=ac3600bf0b71ef29110e644f79812a117a9480b2;hpb=adf1eff6277a0f1fb69f505285a20554a9ecabd6 diff --git a/PowerDns.hs b/PowerDns.hs index 7ed76e8..0b05386 100644 --- a/PowerDns.hs +++ b/PowerDns.hs @@ -1,38 +1,71 @@ -module PowerDns where +module PowerDns ( RRType(..) + , rrType + , PdnsRequest(..) + , pdnsParse + , pdnsReport + , pdnsOutQ + , pdnsOutXfr + ) where + +import Data.Text.Lazy (splitOn, pack) +import Data.Map.Lazy (foldrWithKey) + +import NmcDom data RRType = RRTypeSRV | RRTypeA | RRTypeAAAA | RRTypeCNAME | RRTypeDNAME | RRTypeSOA | RRTypeRP | RRTypeLOC - | RRTypeNS | RRTypeDS - | RRTypeANY | RRTypeError String - deriving (Show) + | RRTypeNS | RRTypeDS | RRTypeMX + | RRTypeANY | RRTypeError String + +instance Show RRType where + show RRTypeSRV = "SRV" + show RRTypeA = "A" + show RRTypeAAAA = "AAAA" + show RRTypeCNAME = "CNAME" + show RRTypeDNAME = "DNAME" + show RRTypeSOA = "SOA" + show RRTypeRP = "RP" + show RRTypeLOC = "LOC" + show RRTypeNS = "NS" + show RRTypeDS = "DS" + show RRTypeMX = "MX" + show RRTypeANY = "ANY" + show (RRTypeError s) = "Unknown RR type: " ++ (show s) + +rrType qt = case qt of + "SRV" -> RRTypeSRV + "A" -> RRTypeA + "AAAA" -> RRTypeAAAA + "CNAME" -> RRTypeCNAME + "DNAME" -> RRTypeDNAME + "SOA" -> RRTypeSOA + "RP" -> RRTypeRP + "LOC" -> RRTypeLOC + "NS" -> RRTypeNS + "DS" -> RRTypeDS + "MX" -> RRTypeMX + "ANY" -> RRTypeANY + _ -> RRTypeError qt data PdnsRequest = PdnsRequestQ { qName :: String , qType :: RRType - , iD :: String + , iD :: Int , remoteIpAddress :: String , localIpAddress :: Maybe String , ednsSubnetAddress :: Maybe String } - | PdnsRequestAXFR String + | PdnsRequestAXFR Int | PdnsRequestPing deriving (Show) +-- | Parse request string read from the core PowerDNS process +pdnsParse :: Int -> String -> Either String PdnsRequest pdnsParse ver s = let - getQt qt = case qt of - "SRV" -> RRTypeSRV - "A" -> RRTypeA - "AAAA" -> RRTypeAAAA - "CNAME" -> RRTypeCNAME - "DNAME" -> RRTypeDNAME - "SOA" -> RRTypeSOA - "RP" -> RRTypeRP - "LOC" -> RRTypeLOC - "NS" -> RRTypeNS - "DS" -> RRTypeDS - "ANY" -> RRTypeANY - _ -> RRTypeError qt + getInt s = case reads s :: [(Int, String)] of + [(x, _)] -> x + _ -> (-1) getLIp ver xs | ver >= 2 = case xs of x:_ -> Just x @@ -46,27 +79,129 @@ pdnsParse ver s = in case words s of "PING":[] -> Right PdnsRequestPing - "AXFR":x:[] -> Right (PdnsRequestAXFR x) - "Q":qn:"IN":qt:id:rip:xs -> Right (PdnsRequestQ + "AXFR":x:[] -> Right (PdnsRequestAXFR (getInt x)) + "Q":qn:"IN":qt:id:rip:xs -> case rrType qt of + RRTypeError e -> + Left $ "Unrecognized RR type: " ++ e + rt -> + Right (PdnsRequestQ { qName = qn - , qType = getQt qt - , iD = id + , qType = rrType qt + , iD = getInt id , remoteIpAddress = rip , localIpAddress = getLIp ver xs , ednsSubnetAddress = getRIp ver xs }) - _ -> Left s - -{- -pdnsOut :: String -> Either String PdnsRequest -> IO () -pdnsOut _ (Left e) = putStrLn ("ERROR\tUnparseable request: " ++ e) -pdnsOut uri (Right rq) = case rq of - PdnsRequestQ qn qt id lip rip eip -> do - dom <- queryNmc uri qn qt id - case dom of - Left e -> putStrLn ("ERROR\tNmc query error: " ++ e) - Right result -> print result - PdnsRequestAXFR xfrreq -> - putStrLn ("ERROR\t No support for AXFR " ++ xfrreq) - PdnsRequestPing -> putStrLn "OK" --} + _ -> Left $ "Unparseable PDNS Request: " ++ s + +-- | Produce LOG entry followed by FAIL +pdnsReport :: String -> String +pdnsReport err = "LOG\tError: " ++ err ++ "\nFAIL\n" + +-- | Produce answer to the Q request +pdnsOutQ :: Int -> Int -> String -> RRType -> Either String NmcDom -> String +pdnsOutQ ver id name rrt edom = + let + rrl = case rrt of + RRTypeANY -> [ RRTypeSRV, RRTypeA, RRTypeAAAA, RRTypeCNAME + , RRTypeDNAME, RRTypeRP, RRTypeLOC, RRTypeNS + , RRTypeDS, RRTypeMX -- SOA not included + ] + x -> [x] + in + case edom of + Left err -> + pdnsReport $ err ++ " in the " ++ (show rrt) ++ " query for " ++ name + Right dom -> + formatDom ver id rrl name dom "END\n" + +-- | Produce answer to the AXFR request +pdnsOutXfr :: Int -> Int -> String -> Either String NmcDom -> String +pdnsOutXfr ver id name edom = + let + allrrs = [ RRTypeSRV, RRTypeA, RRTypeAAAA, RRTypeCNAME + , RRTypeDNAME, RRTypeRP, RRTypeLOC, RRTypeNS + , RRTypeDS, RRTypeMX, RRTypeSOA + ] + walkDom f acc name dom = + f name dom $ case domMap dom of + Nothing -> acc + Just dm -> + foldrWithKey (\n d a -> walkDom f a (n ++ "." ++ name) d) acc dm + in + case edom of + Left err -> + pdnsReport $ err ++ " in the AXFR request for " ++ name + Right dom -> + walkDom (formatDom ver id allrrs) "END\n" name dom + +formatDom ver id rrl name dom acc = + foldr (\x a -> (formatRR ver id name dom x) ++ a) acc rrl + +formatRR ver id name dom rrtype = + foldr (\x a -> "DATA\t" ++ v3ext ++ name ++ "\tIN\t" ++ (show rrtype) + ++ "\t" ++ ttl ++ "\t" ++ (show id) ++ "\t" ++ x ++ "\n" ++ a) + "" $ dataRR rrtype name dom + where + v3ext = case ver of + 3 -> "0\t1\t" + _ -> "" + ttl = show 3600 + +justl accessor _ dom = case accessor dom of + Nothing -> [] + Just xs -> xs + +justv accessor _ dom = case accessor dom of + Nothing -> [] + Just x -> [x] + +dotmail addr = + let (aname, adom) = break (== '@') addr + in case adom of + "" -> aname ++ "." + _ -> aname ++ "." ++ (tail adom) ++ "." + +dataRR RRTypeSRV = justl domSrv +dataRR RRTypeMX = justl domMx +dataRR RRTypeA = justl domIp +dataRR RRTypeAAAA = justl domIp6 +dataRR RRTypeCNAME = justv domAlias +dataRR RRTypeDNAME = justv domTranslate +dataRR RRTypeSOA = \ name dom -> -- FIXME make realistic version field + let + ns = case domNs dom of + Just (x:_) -> x -- FIXME Terminate with a dot? + _ -> "." + email = case domEmail dom of + Nothing -> "hostmaster." ++ name ++ "." + Just addr -> dotmail addr + in + if dom == emptyNmcDom then [] + else + -- Follows a relatively ugly hack to figure if we are at the top + -- level domain ("something.bit"). Only in such case we provide + -- the synthetic SOA RR. Otherwise yield empty. + -- Alternative would be to carry "top-ness" as a parameter through + -- all the calls from the very top where we split the fqdn. + case splitOn (pack ".") (pack name) of + [_,_] -> [ns ++ " " ++ email ++ " 0 10800 3600 604800 86400"] + _ -> [] +dataRR RRTypeRP = \ _ dom -> + case domEmail dom of + Nothing -> [] + Just addr -> [(dotmail addr) ++ " ."] +dataRR RRTypeLOC = justv domLoc +dataRR RRTypeNS = justl domNs -- FIXME Terminate with a dot? +dataRR RRTypeDS = \ _ dom -> + case domDs dom of + Nothing -> [] + Just dss -> map dsStr dss + where + dsStr x = (show (dsKeyTag x)) ++ " " + ++ (show (dsAlgo x)) ++ " " + ++ (show (dsHashType x)) ++ " " + ++ (dsHashValue x) +-- This only comes into play when data arrived _not_ from a PDNS request: +dataRR (RRTypeError e) = \ _ _ -> + ["; No data for bad request type " ++ e]