[PATCH 3/3] Explicit error when curl_exec() fails

From

Matthieu Moy <matthieu.moy@imag.fr>

Date

Jun 14, 2012, 08:57 UTC

Message-ID

<1339664243-31952-4-git-send-email-Matthieu.Moy@imag.fr>

In-Reply-To

<1339664243-31952-1-git-send-email-Matthieu.Moy@imag.fr>

Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
---
 contrib/mw-to-git/t/install-wiki/db_install.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/contrib/mw-to-git/t/install-wiki/db_install.php b/contrib/mw-to-git/t/install-wiki/db_install.php
index b34772a..99d24e0 100644
--- a/contrib/mw-to-git/t/install-wiki/db_install.php
+++ b/contrib/mw-to-git/t/install-wiki/db_install.php
@@ -41,6 +41,9 @@ function get ($page_name = "") {
         curl_setopt($curl, CURLOPT_URL, $url);
 
         $page = curl_exec($curl);
+	if (!$page) {
+		die ("Could not get page: $url\n");
+	}
         curl_close($curl);
         return $page;
 }

-- 
1.7.11.rc0.57.g84a04c7