blob: 6b04a123b547d1b41daa00bab882cb9f98802911 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<?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);
?>
|
