# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 986479484 0
# Node ID 9156124d97e2c8431dc7aff8c630a1ce13eb68d9
# Parent  2c3b55c8be66f079d9bf1ecd5ea2d180bd80e8d3
(Fcurrent_time_zone): Accept spaces in timezone
names.

diff -r 2c3b55c8be66 -r 9156124d97e2 src/editfns.c
--- a/src/editfns.c	Thu Apr 05 13:53:02 2001 +0000
+++ b/src/editfns.c	Thu Apr 05 14:04:44 2001 +0000
@@ -1767,7 +1767,7 @@
 	  /* On Japanese w32, we can get a Japanese string as time
 	     zone name.  Don't accept that.  */
 	  char *p;
-	  for (p = s; *p && isalnum (*p); ++p)
+	  for (p = s; *p && (isalnum (*p) || *p == ' '); ++p)
 	    ;
 	  if (p == s || *p)
 	    s = NULL;