*** pg_dump.c.orig	Thu Apr 15 05:08:53 1999
--- pg_dump.c	Tue May  4 13:47:01 1999
***************
*** 606,615 ****
  					int			i;
  
  					tablename = strdup(optarg);
! 					for (i = 0; tablename[i]; i++)
! 						if (isascii((unsigned char) tablename[i]) &&
! 							isupper(tablename[i]))
! 							tablename[i] = tolower(tablename[i]);
  				}
  				break;
  			case 'v':			/* verbose */
--- 606,626 ----
  					int			i;
  
  					tablename = strdup(optarg);
! 					/* quoted string? Then strip quotes and preserve case... */
! 					if (tablename[0] == '"')
! 					{
! 						strcpy(tablename, &tablename[1]);
! 						if (*(tablename+strlen(tablename)-1) == '"')
! 							*(tablename+strlen(tablename)-1) = '\0';
! 					}
! 					/* otherwise, convert table name to lowercase... */
! 					else
! 					{
! 						for (i = 0; tablename[i]; i++)
! 							if (isascii((unsigned char) tablename[i]) &&
! 								isupper(tablename[i]))
! 								tablename[i] = tolower(tablename[i]);
! 					}
  				}
  				break;
  			case 'v':			/* verbose */