BUG: background-properties / gnome-terminal

[Mike Shaver <shaver netscape com>]

Haven't a clue what causes this, but...

Mike

-- 
51197.60 22757.85
Starting program: /usr/bin/background-properties 

Program received signal SIGPIPE, Broken pipe.
0x40393d44 in __write ()
(gdb) back
#0  0x40393d44 in __write ()
#1  0x402d7b64 in __DTOR_END__ ()
#2  0x40289dbd in _X11TransWrite ()
#3  0x40270c34 in _XFlushInt ()
#4  0x40271f3e in _XReply ()
#5  0x4025e03b in XAllocColor ()
#6  0x400a8353 in gdk_imlib_best_color_match ()
#7  0x804e454 in background_read ()
#8  0x804e885 in background_action ()
#9  0x40055249 in request ()
#10 0x4022c4c5 in g_list_foreach ()
#11 0x400552c1 in gnome_property_configurator_request_foreach ()
#12 0x804c34c in property_main ()
#13 0x804eb86 in main ()
(gdb) quit
The program is running.  Quit anyway (and kill it)? (y or n) y
[shaver@zamboni gnome]$ gnome-terminal
errno = 0, saverrno = 5
out of data on read
Warning: Child died
[shaver@zamboni gnome]$ exit

Script done on Thu May 21 01:00:36 1998