Allow +1300 as a numeric timezone specifier; we already accept FJST as meaning +1300.

diff --git a/src/backend/utils/adt/datetime.c b/src/backend/utils/adt/datetime.c
index b4daa35f22308bcf6a71488bf69d7fe3a54ab256..8173c7476f9c93e7034e35f41a4d0d737a1e0826 100644 (file)
--- a/src/backend/utils/adt/datetime.c
+++ b/src/backend/utils/adt/datetime.c
@@ -8,7 +8,7 @@
  *
  *
  * IDENTIFICATION
- *       $Header: /cvsroot/pgsql/src/backend/utils/adt/datetime.c,v 1.96 2002/09/04 20:31:27 momjian Exp $
+ *       $Header: /cvsroot/pgsql/src/backend/utils/adt/datetime.c,v 1.97 2002/11/13 17:24:05 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -2537,6 +2537,9 @@ DecodeNumberField(int len, char *str, int fmask,
 
 /* DecodeTimezone()
  * Interpret string as a numeric timezone.
+ *
+ * Note: we allow timezone offsets up to 13:59.  There are places that
+ * use +1300 summer time.
  */
 static int
 DecodeTimezone(char *str, int *tzp)
@@ -2562,7 +2565,7 @@ DecodeTimezone(char *str, int *tzp)
 
                *(str + len - 2) = '\0';
                hr = strtol((str + 1), &cp, 10);
-               if ((hr < 0) || (hr > 12))
+               if ((hr < 0) || (hr > 13))
                        return -1;
        }
        else