From 0547d71101a12cd7858c712047e0ae2b73fe3548 Mon Sep 17 00:00:00 2001 From: Dominic Mulligan Date: Wed, 7 Apr 2021 16:02:11 +0100 Subject: [PATCH] runtime-manager-linux: commented some constants in veracruz_server_linux.rs --- veracruz-server/src/veracruz_server_linux.rs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/veracruz-server/src/veracruz_server_linux.rs b/veracruz-server/src/veracruz_server_linux.rs index c1eb07420..affc1c0ef 100644 --- a/veracruz-server/src/veracruz_server_linux.rs +++ b/veracruz-server/src/veracruz_server_linux.rs @@ -31,11 +31,17 @@ pub mod veracruz_server_linux { receive_buffer, send_buffer, RuntimeManagerMessage, VMStatus, VeracruzPolicy, }; + /// Path to the pre-built Runtime Manager enclave. const RUNTIME_MANAGER_PATH: &'static str = "../runtime-manager/target/release/runtime_manager_enclave"; + /// Port to communicate with the Runtime Manager enclave on. const RUNTIME_MANAGER_PORT: &'static str = "5022"; + /// IP address to use when communicating with the Runtime Manager enclave. const RUNTIME_MANAGER_ADDRESS: &'static str = "127.0.0.1"; - const RUNTIME_MANAGER_SPAWN_DELAY_SECONDS: u64 = 3; + /// Delay (in seconds) to use when spawning the Runtime Manager enclave to + /// ensure that everything is started before proceeding with communication + /// between the server and enclave. + const RUNTIME_MANAGER_SPAWN_DELAY_SECONDS: u64 = 1; /// A struct capturing all the metadata needed to start and communicate with /// the Runtime Manager Enclave.