From de39aa7fd90bacb44d3e3359db620569fff4bdbf Mon Sep 17 00:00:00 2001 From: Preston Vasquez Date: Wed, 17 Jan 2024 16:11:29 -0700 Subject: [PATCH] Add missing spacing --- source/server-discovery-and-monitoring/server-monitoring.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/server-discovery-and-monitoring/server-monitoring.rst b/source/server-discovery-and-monitoring/server-monitoring.rst index fe67cefb07..6391a5a103 100644 --- a/source/server-discovery-and-monitoring/server-monitoring.rst +++ b/source/server-discovery-and-monitoring/server-monitoring.rst @@ -757,7 +757,7 @@ The event API here is assumed to be like the standard `Python Event helloOk = stableApi != Null connection = new Connection(serverAddress) - if connectTimeoutMS !=0: + if connectTimeoutMS != 0: set connection timeout to connectTimeoutMS # Do any potentially blocking operations after releasing the mutex.