I've committed the patch I published earlier. (posting from yahoo because my regular email is down at the moment). -- Jim Weirich ===== __________________________________ Do you Yahoo!? Yahoo! Mail is new and improved - Check it out! http://promotions.yahoo.com/new_mail