diff options
| author | Alexander Korotkov | 2024-01-19 13:08:40 +0000 |
|---|---|---|
| committer | Alexander Korotkov | 2024-01-19 13:15:51 +0000 |
| commit | b725b7eec431f7394d63abe621170efe3fcdcda4 (patch) | |
| tree | 19514956bceed3061ee8872a7810bf40eb78ce81 /src/tools | |
| parent | dd0a0cfc81fecacf2aed41b9eb138f850e43aab6 (diff) | |
Rename COPY option from SAVE_ERROR_TO to ON_ERROR
The option names now are "stop" (default) and "ignore". The future options
could be "file 'filename.log'" and "table 'tablename'".
Discussion: https://postgr.es/m/20240117.164859.2242646601795501168.horikyota.ntt%40gmail.com
Author: Jian He
Reviewed-by: Atsushi Torikoshi
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/pgindent/typedefs.list | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/typedefs.list b/src/tools/pgindent/typedefs.list index aa74ed695eb..16421f034cb 100644 --- a/src/tools/pgindent/typedefs.list +++ b/src/tools/pgindent/typedefs.list @@ -478,6 +478,7 @@ CopyHeaderChoice CopyInsertMethod CopyMultiInsertBuffer CopyMultiInsertInfo +CopyOnErrorChoice CopySource CopyStmt CopyToState @@ -4041,4 +4042,3 @@ manifest_writer rfile ws_options ws_file_info -CopySaveErrorToChoice |