@@ 90-94 (lines=5) @@ | ||
87 | // get options from command line |
|
88 | $options = getopt(implode('', $valid_short_options), $valid_long_options); |
|
89 | ||
90 | if (!array_key_exists('use-ini-defaults', $options)) { |
|
91 | ini_set('display_errors', '1'); |
|
92 | ini_set('display_startup_errors', '1'); |
|
93 | ini_set('memory_limit', (string) (4 * 1024 * 1024 * 1024)); |
|
94 | } |
|
95 | ||
96 | if (array_key_exists('help', $options)) { |
|
97 | $options['h'] = false; |
@@ 144-148 (lines=5) @@ | ||
141 | $args |
|
142 | ); |
|
143 | ||
144 | if (!array_key_exists('use-ini-defaults', $options)) { |
|
145 | ini_set('display_errors', 'stderr'); |
|
146 | ini_set('display_startup_errors', '1'); |
|
147 | ini_set('memory_limit', (string) (8 * 1024 * 1024 * 1024)); |
|
148 | } |
|
149 | ||
150 | if (array_key_exists('help', $options)) { |
|
151 | $options['h'] = false; |