let errmsg = "Could not unpickle Odds_XML."
maybe (return $ ImportFailed errmsg) migrate_and_import m
+ | dtd == "weatherxml.dtd" = do
+ let m = unpickleDoc Weather.pickle_message xml
+ let errmsg = "Could not unpickle weatherxml."
+ maybe (return $ ImportFailed errmsg) migrate_and_import m
+
| otherwise = do
let infomsg =
"Unrecognized DTD in " ++ path ++ ": " ++ dtd ++ "."
-- deleted.
let result_pairs = zip (OC.xml_files opt_config) results
let victims = [ p | (p, True) <- result_pairs ]
- let imported_count = length victims
- report_info $ "Imported " ++ (show imported_count) ++ " document(s) total."
+ let processed_count = length victims
+ report_info $ "Processed " ++ (show processed_count) ++ " document(s) total."
when (remove cfg) $ mapM_ (kill True) victims
where