Completed
Push — master ( b2dfe1...1412d2 )
by Sam
02:32
created
src/cli/Manager/WebSocketManager.php 1 patch
Braces   +2 added lines, -4 removed lines patch added patch discarded remove patch
@@ -136,14 +136,12 @@
 block discarded – undo
136 136
 			$logger->debug('Got message from client (type: {messageType})', [
137 137
 				'messageType' => $message->getType(),
138 138
 			]);
139
-		}
140
-		catch (MalformedRequestException $e)
139
+		} catch (MalformedRequestException $e)
141 140
 		{
142 141
 			$logger->error('Got malformed message from client (reason: {reason})', [
143 142
 				'reason' => $e->getMessage(),
144 143
 			]);
145
-		}
146
-		catch (UnknownRequestException $e)
144
+		} catch (UnknownRequestException $e)
147 145
 		{
148 146
 			// The server itself sometimes sends out messages that are received here, hence debug
149 147
 			$logger->debug('Got unknown message from client');
Please login to merge, or discard this patch.