On Fri, Nov 03, 2023 at 04:18:44PM -0700, Richard Cochran wrote:> No need for another mutex.Actually the mutex is needed.Thanks,Richard