bug fix
authorbdemsky <bdemsky>
Mon, 4 Aug 2008 23:07:39 +0000 (23:07 +0000)
committerbdemsky <bdemsky>
Mon, 4 Aug 2008 23:07:39 +0000 (23:07 +0000)
commit5aae596fa920304cd0dd25ebce8b53be144e6d10
treea45e88c658a1c8326ed3a720837762efcbda53d6
parentc1d179637cae4133d15c89e4717d456f36b5eace
bug fix
Robust/src/Runtime/DSTM/interface/sockpool.c
Robust/src/Runtime/DSTM/interface/sockpool.h