Suppress timespan and datetime ops from being brought in via pg_dump

from previous release.

diff --git a/src/backend/parser/gram.y b/src/backend/parser/gram.y
index b14fde0799c6b4c534f2e972560ca3014295bd3c..d46417de19233045dfa942bed21cb860ab9b6633 100644 (file)
--- a/src/backend/parser/gram.y
+++ b/src/backend/parser/gram.y
@@ -11,7 +11,7 @@
  *
  *
  * IDENTIFICATION
- *       $Header: /cvsroot/pgsql/src/backend/parser/gram.y,v 2.150 2000/02/24 01:59:17 tgl Exp $
+ *       $Header: /cvsroot/pgsql/src/backend/parser/gram.y,v 2.151 2000/02/24 16:34:21 momjian Exp $
  *
  * HISTORY
  *       AUTHOR                        DATE                    MAJOR EVENT
@@ -2332,13 +2332,16 @@ opt_type:  ':' Typename                                                 { $$ = $2; }
  */
 opt_class:  class                                                              {
        /*
-        * Release 7.0 removed network_ops, so we supress it from being passed
-        * to the backend so the default *_ops is used.  This can be removed
-     * in some later release.  bjm 2000/02/07
+        * Release 7.0 removed network_ops, timespan_ops, and datetime_ops, 
+        * so we suppress it from being passed to the backend so the default 
+        * *_ops is used.  This can be removed in some later release.  
+        * bjm 2000/02/07 
         */ 
-                                                                                                if (strcmp($1, "network_ops") != 0)
-                                                                                                               $$ = $1;
-                                                                                                 else  $$ = NULL; }
+                                                                                if (strcmp($1, "network_ops") != 0 &&
+                                                                                    strcmp($1, "timespan_ops") != 0 &&
+                                                                                    strcmp($1, "datetime_ops") != 0)
+                                                                                               $$ = $1;
+                                                                                else   $$ = NULL; }
                | USING class                                                   { $$ = $2; }
                | /*EMPTY*/                                                             { $$ = NULL; }
                ;