Catch curl errors in github scripts

ezpublishlegacy · Jan 9, 2015 · 1972608 · 1972608
1 parent d598673
commit 1972608
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/bin/postComment.php b/bin/postComment.php
@@ -15,5 +15,11 @@
     json_encode( array( "body" => file_get_contents( $argv[3] ) ) )
 );
 
-curl_exec( $ch );
+if ( curl_exec( $ch ) === false )
+{
+    echo "\n\n# postComment.php curl error:\n" . curl_error( $ch ) . "\n\n";
+    curl_close( $ch );
+    exit( 1 );
+}
+
 curl_close( $ch );
diff --git a/bin/setCommitStatus.php b/bin/setCommitStatus.php
@@ -29,5 +29,11 @@
     )
 );
 
-curl_exec( $ch );
+if ( curl_exec( $ch ) === false )
+{
+    echo "\n\n# setCommit.php curl error:\n" . curl_error( $ch ) . "\n\n";
+    curl_close( $ch );
+    exit( 1 );
+}
+
 curl_close( $ch );