changes and bug fixes
authorbdemsky <bdemsky>
Thu, 17 Apr 2008 00:27:59 +0000 (00:27 +0000)
committerbdemsky <bdemsky>
Thu, 17 Apr 2008 00:27:59 +0000 (00:27 +0000)
commit452c9aef7e8d1d2745db2354071d246013e02ece
tree74a3a08027cab0e4ce696eccd8688eaf60ebb76d
parent3747516642b07e50c84eff9bf09c9e32f4645324
changes and bug fixes
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/objstr.c
Robust/src/Runtime/DSTM/interface/trans.c
Robust/src/Runtime/runtime.c