if (!dl(php_gtk)) die("Unable to load the php_gtk extension\n");

diff --git a/pear/PEAR/Frontend/Gtk.php b/pear/PEAR/Frontend/Gtk.php
index ee83e8eb6d358d565fa481ee9d7ffbca7238a8df..27a798e58727a5f501c153cbaba80d5c3c9500cf 100644 (file)
--- a/pear/PEAR/Frontend/Gtk.php
+++ b/pear/PEAR/Frontend/Gtk.php
@@ -48,7 +48,9 @@ class PEAR_Frontend_Gtk extends PEAR
     {
         parent::PEAR();
         if (!extension_loaded('php_gtk')) {
-            dl('php_gtk.' . (OS_WINDOWS ? 'dll' : 'so'));
+            if (!@dl('php_gtk.' . (OS_WINDOWS ? 'dll' : 'so'))) {
+                die("Unable to load the php_gtk extension\n");
+            }
         }
         $this->window = &new GtkWindow();
         $this->window->set_title('PEAR Installer');