add sync between offline and online stage

scripts/aws_charlie.sh

@@ -1,3 +1,3 @@
 #!/bin/bash
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-java -cp "${DIR}/../bin:${DIR}/../lib/*" ui.CLI -protocol rtv -eddie_ip 52.39.199.58 -debbie_ip 52.40.44.231 charlie
+java -cp "${DIR}/../bin:${DIR}/../lib/*" ui.CLI -protocol rtv -eddie_ip 52.40.13.95 -debbie_ip 52.39.207.59 charlie

scripts/aws_debbie.sh

@@ -1,3 +1,3 @@
 #!/bin/bash
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-java -cp "${DIR}/../bin:${DIR}/../lib/*" ui.CLI -protocol rtv -eddie_ip 52.39.199.58 debbie
+java -cp "${DIR}/../bin:${DIR}/../lib/*" ui.CLI -protocol rtv -eddie_ip 52.40.13.95 debbie

src/protocols/Retrieve.java

@@ -182,7 +182,10 @@ public class Retrieve extends Protocol {
 						throw new NoSuchPartyException(party + "");
 					}
 				}
+				
+				sanityCheck();
 				System.out.println("done!");
+				
 
 				byte[] Li = new byte[0];
 				for (int ti = 0; ti < numTrees; ti++) {