resource group: change '' to the default resource group (#14009)

pingcap · Jun 28, 2023 · 1464f74 · 1464f74
1 parent 9438200
commit 1464f74
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/sql-statements/sql-statement-alter-user.md b/sql-statements/sql-statement-alter-user.md
@@ -172,18 +172,18 @@ SELECT USER, JSON_EXTRACT(User_attributes, "$.resource_group") FROM mysql.user W
 1 row in set (0.02 sec)
 ```
 
-Unbind the user to a resource group, that is, set the resource group to which the user is bound to be empty. After unbinding, the user will be bound to the `default` resource group.
+Unbind the user to a resource group, that is, bind the user to the `default` resource group.
 
 ```sql
-ALTER USER 'newuser' RESOURCE GROUP ``;
+ALTER USER 'newuser' RESOURCE GROUP `default`;
 SELECT USER, JSON_EXTRACT(User_attributes, "$.resource_group") FROM mysql.user WHERE user = "newuser";
 ```
 
 ```
 +---------+---------------------------------------------------+
 | USER    | JSON_EXTRACT(User_attributes, "$.resource_group") |
 +---------+---------------------------------------------------+
-| newuser | ""                                                |
+| newuser | "default"                                         |
 +---------+---------------------------------------------------+
 1 row in set (0.02 sec)
 ```

diff --git a/sql-statements/sql-statement-set-resource-group.md b/sql-statements/sql-statement-set-resource-group.md
@@ -71,7 +71,7 @@ SELECT CURRENT_RESOURCE_GROUP();
 Execute `SET RESOURCE GROUP` to specify the current session to use the default resource group.
 
 ```sql
-SET RESOURCE GROUP ``;
+SET RESOURCE GROUP `default`;
 SELECT CURRENT_RESOURCE_GROUP();
 ```