diff --git a/tee_gateway/config.py b/tee_gateway/config.py index f6a842d..ec6837f 100644 --- a/tee_gateway/config.py +++ b/tee_gateway/config.py @@ -12,7 +12,7 @@ # Heartbeat defaults DEFAULT_HEARTBEAT_INTERVAL = 900 # 15 minutes DEFAULT_HEARTBEAT_BUFFER = ( - 300 # 5 minutes — subtracted from time.time() to compensate for enclave clock drift + 300 # 5 minutes -- subtracted from time.time() to compensate for enclave clock drift ) DEFAULT_FACILITATOR_TIMEOUT = 20 # seconds HEARTBEAT_MAX_RETRIES = 3