diff options
Diffstat (limited to 'x11-toolkits/php-gtk2')
-rw-r--r-- | x11-toolkits/php-gtk2/scripts/memlim.php | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/x11-toolkits/php-gtk2/scripts/memlim.php b/x11-toolkits/php-gtk2/scripts/memlim.php new file mode 100644 index 000000000000..657a0e58fd19 --- /dev/null +++ b/x11-toolkits/php-gtk2/scripts/memlim.php @@ -0,0 +1,20 @@ +<?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. + * + */ + + if (((int)ini_get ('memory_limit')) < 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: ",ini_get('memory_limit'),"\n\n"; + exit (-1); + } + + echo "---> PHP: memory_limit is sufficient (",ini_get ('memory_limit'),")\n"; + exit(0); + +?> |