aboutsummaryrefslogtreecommitdiff
path: root/x11-toolkits/php-gtk2/scripts/memlim.php
diff options
context:
space:
mode:
Diffstat (limited to 'x11-toolkits/php-gtk2/scripts/memlim.php')
-rw-r--r--x11-toolkits/php-gtk2/scripts/memlim.php21
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);
-
-?>