small bug fix

diff --git a/Robust/src/Runtime/DSTM/interface_recovery/trans.c b/Robust/src/Runtime/DSTM/interface_recovery/trans.c
index 31aa60ab87c95671b3ecf29fa13356af58d3dfc0..2f4186d22d5ad9825e57baf267b57622c0f23750 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface_recovery/trans.c
+++ b/Robust/src/Runtime/DSTM/interface_recovery/trans.c
@@ -2750,8 +2750,6 @@ void duplicateLostObjects(unsigned int mid){
        printf("%s-> Start, mid: [%s]\n", __func__, midtoIPString(mid));  
 #endif
 
-
-       
        //this needs to be changed.
        unsigned int backupMid = getBackupMachine(mid); // get backup machine of dead machine
        unsigned int originalMid = getDuplicatedPrimaryMachine(mid); // get primary machine that used deadmachine as backup machine.
@@ -2785,7 +2783,7 @@ void duplicateLostObjects(unsigned int mid){
   if(((psd = getSockWithLock(transPrefetchSockPool, originalMid)) < 0 ) || ((bsd = getSockWithLock(transPrefetchSockPool,backupMid)) <0)) {
     printf("%s -> Socket create error\n",__func__);
     exit(0);
-
+  }
 /* request for original */
        char duperequest;
        duperequest = DUPLICATE_ORIGINAL;