-
Robert Ricci authored
other process has done the work it was going to (because it started _after_ this process started trying to grab the lock), it exits. This way, we avoid doing too much extra work.
e25f9359
other process has done the work it was going to (because it started _after_ this process started trying to grab the lock), it exits. This way, we avoid doing too much extra work.