# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1000385767 0
# Node ID df33715cdcf82e4dde7a8951edf528eec62dc5a9
# Parent  fd3e413c477a39fa364c40f524cf30d48842a73e
(Fx_window_property): Handle case that property gets
deleted between the two calls to XGetWindowProperty.

diff -r fd3e413c477a -r df33715cdcf8 src/xfns.c
--- a/src/xfns.c	Thu Sep 13 12:41:41 2001 +0000
+++ b/src/xfns.c	Thu Sep 13 12:56:07 2001 +0000
@@ -10279,7 +10279,7 @@
 			       &actual_type, &actual_format, 
 			       &actual_size, &bytes_remaining, 
 			       (unsigned char **) &tmp_data);
-      if (rc == Success)
+      if (rc == Success && tmp_data)
 	prop_value = make_string (tmp_data, size);
 
       XFree (tmp_data);