|
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 | /*****************************************************************************
|
|