On May 20,  4:43pm, Kamil Dudka wrote:
}
} Good catch!  Then your patch certainly looks as a better choice to me.
It belatedly occurs to me that adding
    if (!value)
	value = "";
would have been a sufficient change.  Oh, well.
-- 
Barton E. Schaefer