aboutsummaryrefslogtreecommitdiff
path: root/x11-toolkits/php-gtk2
diff options
context:
space:
mode:
authorNorikatsu Shigemura <nork@FreeBSD.org>2003-06-18 07:43:01 +0000
committerNorikatsu Shigemura <nork@FreeBSD.org>2003-06-18 07:43:01 +0000
commit7e6a6f20dfff8560a6a74622ea23f4bd179d7d11 (patch)
tree25a1a79d2ec9bad0a5bb3214c8ad8f67e2ff512d /x11-toolkits/php-gtk2
parent43796ed756ce749e44d0199c2767842313742083 (diff)
downloadports-7e6a6f20dfff8560a6a74622ea23f4bd179d7d11.tar.gz
ports-7e6a6f20dfff8560a6a74622ea23f4bd179d7d11.zip
Notes
Diffstat (limited to 'x11-toolkits/php-gtk2')
-rw-r--r--x11-toolkits/php-gtk2/scripts/memlim.php20
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);
+
+?>