fix annoying race condition on startup
authorbdemsky <bdemsky>
Mon, 5 May 2008 22:01:03 +0000 (22:01 +0000)
committerbdemsky <bdemsky>
Mon, 5 May 2008 22:01:03 +0000 (22:01 +0000)
commit6e2ca7663bc8fa22199e01c92b46d892187fccaa
tree13e7bf9b5fc3bea8436f64ddaa32a8008ac93519
parent21e192107d6d70b8af180698d40d1f0ae3a203af
fix annoying race condition on startup
Robust/src/Runtime/DSTM/interface/dstm.h
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/trans.c