diff options
| author | Tomas V.V.Cox <cox@php.net> | 2002-06-09 18:18:01 +0000 |
|---|---|---|
| committer | Tomas V.V.Cox <cox@php.net> | 2002-06-09 18:18:01 +0000 |
| commit | c67c59564593af1fe6fda1fa4d978462bcc60c7e (patch) | |
| tree | f9a6d5cf11c643ea676ae479c83155990f8bfeae /pear/PEAR/Frontend | |
| parent | 8c8599222ef855425d3811352699df68c19692e8 (diff) | |
| download | php-git-c67c59564593af1fe6fda1fa4d978462bcc60c7e.tar.gz | |
if (!dl(php_gtk)) die("Unable to load the php_gtk extension\n");
Diffstat (limited to 'pear/PEAR/Frontend')
| -rw-r--r-- | pear/PEAR/Frontend/Gtk.php | 4 |
1 files changed, 3 insertions, 1 deletions
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'); |