update default memoryLimit

pull/235/head
Eric Romano 2017-12-28 17:26:34 -05:00 committed by GitHub
parent 9558c8aaca
commit dc31f24658
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -94,8 +94,8 @@
"properties": { "properties": {
"php.memoryLimit": { "php.memoryLimit": {
"type": "string", "type": "string",
"default": "-1", "default": "4G",
"description": "The memory limit of the php language server. [Number][K|M|G]. Use '-1' to allow unlimited use of the RAM(default).", "description": "The memory limit of the php language server. [Number][K|M|G]. Use '-1' to allow unlimited use of the RAM (default is 4G).",
"pattern": "^\\d+[KMG]?$" "pattern": "^\\d+[KMG]?$"
}, },
"php.executablePath": { "php.executablePath": {