update: [MySQL] updates

williamdes · Jun 17, 2023 · e0bf90d · e0bf90d
1 parent 3c04516
commit e0bf90d
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 7 deletions.
diff --git a/data/variables/mysql-server-options.json b/data/variables/mysql-server-options.json
@@ -54,11 +54,9 @@
       "name": "console"
     },
     {
-      "cli": "--core-file[={OFF|ON}]",
-      "default": "OFF",
+      "cli": "--core-file",
       "id": "option_mysqld_core-file",
-      "name": "core_file",
-      "type": "boolean"
+      "name": "core_file"
     },
     {
       "cli": "--daemonize[={OFF|ON}]",

diff --git a/dist/merged-raw.json b/dist/merged-raw.json
@@ -18870,7 +18870,7 @@
             ]
         },
         "core_file": {
-            "default": "0",
+            "default": "OFF",
             "dynamic": false,
             "name": "core_file",
             "scope": [

diff --git a/dist/merged-raw.md b/dist/merged-raw.md
@@ -15942,7 +15942,7 @@
 |Name|`core_file`|
 |Type of variable|`boolean`|
 |Scope|`global`|
-|Default value|`0`|
+|Default value|`OFF`|
 |Dynamic|`false`|
 
 ### Documentation(s)

diff --git a/dist/merged-slim.json b/dist/merged-slim.json
@@ -14778,7 +14778,7 @@
             ]
         },
         "core_file": {
-            "default": "0",
+            "default": "OFF",
             "dynamic": false,
             "name": "core_file",
             "scope": [