From c67c59564593af1fe6fda1fa4d978462bcc60c7e Mon Sep 17 00:00:00 2001
From: "Tomas V.V.Cox" <cox@php.net>
Date: Sun, 9 Jun 2002 18:18:01 +0000
Subject: [PATCH] if (!dl(php_gtk)) die("Unable to load the php_gtk
 extension\n");

---
 pear/PEAR/Frontend/Gtk.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pear/PEAR/Frontend/Gtk.php b/pear/PEAR/Frontend/Gtk.php
index ee83e8eb6d..27a798e587 100644
--- 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');
-- 
2.50.1