commit 0d0d0f7904910acf2f9b232a6a1a67678fe84864
author Andy Bavier <acb@cs.princeton.edu> Sun Jun 12 13:47:12 2016 -0400
committer GitHub <noreply@github.com> Sun Jun 12 13:47:12 2016 -0400
tree b9f990c638b5206249809d4530582421ff6effe2
parent ada2b3bcb61f6fc1e25203f366aa68ef1e5342f3

Another attempted workaround for synch bug

scripts/single-node-pod.sh

diff --git a/scripts/single-node-pod.sh b/scripts/single-node-pod.sh
index 3f74069..babb2f4 100755
--- a/scripts/single-node-pod.sh
+++ b/scripts/single-node-pod.sh
@@ -86,12 +86,17 @@
     echo "Pause 30 seconds"
     sleep 30
 
-    ssh ubuntu@xos "cd xos/xos/configurations/cord-pod; make cord; make vtn"
+    ssh ubuntu@xos "cd xos/xos/configurations/cord-pod; make cord"
 
     if [[ $EXAMPLESERVICE -eq 1 ]]
     then
       ssh ubuntu@xos "cd xos/xos/configurations/cord-pod; make exampleservice"
     fi
+
+    echo ""
+    echo "(Temp workaround for bug in Synchronizer) Pause 60 seconds"
+    sleep 60
+    ssh ubuntu@xos "cd xos/xos/configurations/cord-pod; make vtn"
 }
 
 function setup_test_client() {