diff options
Diffstat (limited to 'x11-toolkits/php-gtk2/scripts/memlim.php')
-rw-r--r-- | x11-toolkits/php-gtk2/scripts/memlim.php | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/x11-toolkits/php-gtk2/scripts/memlim.php b/x11-toolkits/php-gtk2/scripts/memlim.php deleted file mode 100644 index 6b04a123b547..000000000000 --- a/x11-toolkits/php-gtk2/scripts/memlim.php +++ /dev/null @@ -1,21 +0,0 @@ -<?php - /** - * This script checks for the memory limit in php. If set too low - * some .c-files cannot be created but contain a PHP error message. - * - */ - - $memlim= (int)ini_get ('memory_limit'); - if (!empty ($memlim) && $memlim < 10) { - echo "---> PHP not properly configured!\n"; - echo " You do not have permitted enough memory for PHP. Please update\n"; - echo " the memory_limit resource limit in your php.ini.\n\n"; - echo " Recommended is 16M (or more) though 10M seem to work, too.\n"; - echo " Current setting: ",$memlim,"\n\n"; - exit (0); - } - - echo "---> PHP: memory_limit is sufficient (",$memlim,")\n"; - exit(0); - -?> |