|
@@ -87,5 +87,4 @@ date "+===== Start %s %F %T"
|
|
docker exec -w /root/duoram/preprocessing duoram_p1 cat $savefilep1
|
|
docker exec -w /root/duoram/preprocessing duoram_p1 cat $savefilep1
|
|
docker exec -w /root/duoram/preprocessing duoram_p1 rm -f $savefilep1
|
|
docker exec -w /root/duoram/preprocessing duoram_p1 rm -f $savefilep1
|
|
date "+===== End %s %F %T"
|
|
date "+===== End %s %F %T"
|
|
- fi
|
|
|
|
-fi
|
|
|
|
|
|
+ fi
|