4b3237a20d
oh my was this bad code! It isn't clear what lock()/unlock() are guarding, but let them continue as before, but don't swallow any exception, or unlock twice.