From 0a50452f23eff1271c3d932ccd50b62dc37b665a Mon Sep 17 00:00:00 2001 From: bigeez Date: Sat, 4 Apr 2026 10:04:02 +0100 Subject: [PATCH] fix: replace garbled UTF-8 characters in comments with clean ASCII --- tee_gateway/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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