From adb035bbc3dacf1e6f66d7076d747a60400b9e04 Mon Sep 17 00:00:00 2001 From: Vladimir Panteleev Date: Mon, 13 Sep 2010 01:25:01 +0300 Subject: [PATCH] Handle bad page names gracefully --- wp2git.d | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/wp2git.d b/wp2git.d index c3eb399..805f312 100644 --- a/wp2git.d +++ b/wp2git.d @@ -51,7 +51,10 @@ int main(string[] args) auto xml = new XmlDocument(new MemoryStream(xmldata)); string data = "reset refs/heads/master\n"; - foreach (child; xml[0]["page"]) + auto page = xml[0]["page"]; + if (!page) + throw new Exception("No such page"); + foreach (child; page) if (child.tag=="revision") { string id = child["id"].text;