changeset 1438:6e7568b823a7

WORKAROUND for an obscure bug not delivering bookmarks' "Add Section" page
author Jorge Arellano Cid <jcid@dillo.org>
date Wed, 18 Nov 2009 09:29:32 -0300
parents 16602aa5aabc
children 79fcf67eeea0
files dpi/bookmarks.c
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/dpi/bookmarks.c	Tue Nov 17 23:13:25 2009 +0100
+++ b/dpi/bookmarks.c	Wed Nov 18 09:29:32 2009 -0300
@@ -1749,6 +1749,11 @@
          }
       }
 
+      /* WORKAROUND: there's an obscure bug not delivering our bookmarks'
+       * "Add Section" page.  Not closing the completely unrelated stream
+       * in dillo's Dpi_read_comm_keys() also makes it work! */
+      while (usleep(2) < 0 && errno == EINTR) ;
+
       a_Dpip_dsh_close(sh);
       a_Dpip_dsh_free(sh);