|
11 | 11 | * |
12 | 12 | * |
13 | 13 | * IDENTIFICATION |
14 | | - * $PostgreSQL: pgsql/src/backend/parser/gram.y,v 2.646 2008/12/19 16:25:17 petere Exp $ |
| 14 | + * $PostgreSQL: pgsql/src/backend/parser/gram.y,v 2.647 2008/12/20 16:02:55 tgl Exp $ |
15 | 15 | * |
16 | 16 | * HISTORY |
17 | 17 | * AUTHORDATEMAJOR EVENT |
@@ -3001,7 +3001,7 @@ CreateUserMappingStmt: CREATE USER MAPPING FOR auth_ident SERVER name create_gen |
3001 | 3001 | auth_ident: |
3002 | 3002 | CURRENT_USER {$$ ="current_user"; } |
3003 | 3003 | |USER{$$ ="current_user"; } |
3004 | | -|RoleId {$$ = (strcmp($1,"public") ==0) ?NULL :$1 } |
| 3004 | +|RoleId {$$ = (strcmp($1,"public") ==0) ?NULL :$1; } |
3005 | 3005 | ; |
3006 | 3006 |
|
3007 | 3007 | /***************************************************************************** |
|