don't choke if we get a bad JSON result

2025-01-13 23:44:34 -05:00 · 2025-01-13 23:44:34 -05:00 · 89a287a94c
commit 89a287a94c
parent 0375e3977a
1 changed files with 5 additions and 2 deletions
--- a/mocha-php/src/mocha-php/lib/mocha/oms/HttpOmsClient.inc.php
+++ b/mocha-php/src/mocha-php/lib/mocha/oms/HttpOmsClient.inc.php
@ -153,9 +153,12 @@
 		public function isConnected() : bool
 		{
 			$json = $this->curl_request_json("/ping");
-			if ($json["result"] == "success")
+			if (is_array($json))
 			{
-				return true;
+				if ($json["result"] == "success")
+				{
+					return true;
+				}
 			}
 			return false;
 		}