Completed
Push — master ( f97b5b...252fb7 )
by Sam
02:27
created
src/cli/Manager/WebSocketManager.php 1 patch
Braces   +3 added lines, -6 removed lines patch added patch discarded remove patch
@@ -146,21 +146,18 @@
 block discarded – undo
146 146
 			try
147 147
 			{
148 148
 				$this->sendMessage($this->tryDelegateMessage($message), $from);
149
-			}
150
-			catch (UnhandledMessageException $e)
149
+			} catch (UnhandledMessageException $e)
151 150
 			{
152 151
 				$logger->error('Unhandled message (type: {messageType})', [
153 152
 					'messageType' => $message->getType(),
154 153
 				]);
155 154
 			}
156
-		}
157
-		catch (MalformedRequestException $e)
155
+		} catch (MalformedRequestException $e)
158 156
 		{
159 157
 			$logger->error('Got malformed message from client (reason: {reason})', [
160 158
 				'reason' => $e->getMessage(),
161 159
 			]);
162
-		}
163
-		catch (UnknownRequestException $e)
160
+		} catch (UnknownRequestException $e)
164 161
 		{
165 162
 			// The server itself sometimes sends out messages that are received here, hence debug
166 163
 			$logger->debug('Got unknown message from client');
Please login to merge, or discard this patch.