run docker

Docker/run-docker.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-docker run -d --name party2 -t duoram
-docker run -d --name party1 -t duoram
-docker run -d --name party0 -t duoram
+docker run -d --name duoram_p2 -t duoram
+docker run -d --name duoram_p1 -t duoram
+docker run -d --name duoram_p0 -t duoram
 echo "All dockers launched"