various changes
authorbdemsky <bdemsky>
Mon, 14 Apr 2008 21:41:07 +0000 (21:41 +0000)
committerbdemsky <bdemsky>
Mon, 14 Apr 2008 21:41:07 +0000 (21:41 +0000)
commit5872031b0d0e4178ce008d82e2bfd968c7ddcbf9
tree9ad6b607e1d5bcc90d86657df247cbf97c130ed3
parent3c51710b517f6f905d1f4b9c3cfbca9f2a34edbd
various changes
Robust/src/Runtime/DSTM/interface/dstm.h
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/trans.c
Robust/src/Runtime/thread.c