Ver código fonte

Create the keys directory and fetch the keys before every run

Ian Goldberg 1 ano atrás
pai
commit
6326b812ad
1 arquivos alterados com 6 adições e 0 exclusões
  1. 6 0
      run_experiments.py

+ 6 - 0
run_experiments.py

@@ -119,6 +119,12 @@ if __name__ == "__main__":
                     # Server outputs are captured by log files provided to each of the server
                     # launch calls made by App/launch
                     make = subprocess.call(["make", "-C", "..", "-j"], stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL)
+                    try:
+                        os.mkdir("keys")
+                    except:
+                        # It's OK if it already exists
+                        pass
+                    pubkeys = subprocess.call(["./getpubkeys"])
                     server_process = subprocess.run(slaunch)
 
                     claunch = []