block pref-instances tab if CURL is not available

diff --git a/modules/pref-instances.php b/modules/pref-instances.php
index 5735df59ce1f995852e89a368e134caf91333acb..e365457a02f3101b2f5938031cb947efa4dbfe5a 100644 (file)
--- a/modules/pref-instances.php
+++ b/modules/pref-instances.php
@@ -113,6 +113,12 @@
                        return;
                }
 
+               if (!function_exists('curl_init')) {
+                       print "<div style='padding : 1em'>";
+                       print_error("This functionality requires CURL functions. Please enable CURL in your PHP configuration and reload this page.");
+                       print "</div>";
+               }
+
                print "<div id=\"pref-instance-wrap\" dojoType=\"dijit.layout.BorderContainer\" gutters=\"false\">";
                print "<div id=\"pref-instance-header\" dojoType=\"dijit.layout.ContentPane\" region=\"top\">";