From 6dab1d510f3965233cc54423f50a2364115acd46 Mon Sep 17 00:00:00 2001
From: Philippe Soares <soaresp2@gmail.com>
Date: Sun, 25 Oct 2020 23:28:41 -0400
Subject: [PATCH] Fix for issue #10204.

---
 .../src/main/resources/public/index.html      | 48 +++++++++----------
 1 file changed, 24 insertions(+), 24 deletions(-)

diff --git a/spring-websockets/src/main/resources/public/index.html b/spring-websockets/src/main/resources/public/index.html
index f52cca34d1..d507e186d4 100644
--- a/spring-websockets/src/main/resources/public/index.html
+++ b/spring-websockets/src/main/resources/public/index.html
@@ -1,73 +1,73 @@
 <html>
 	<head>
 	    <title>Chat WebSocket</title>
-
+	    
 	    <script src="./js/sockjs-0.3.4.js"></script>
 	    <script src="./js/stomp.js"></script>
-
+	    
 	    <script type="text/javascript">
-
+	    
 	        var stompClient = null;
-
+	        
 	        function setConnected(connected) {
-
+	        	
 	            document.getElementById('connect').disabled = connected;
 	            document.getElementById('disconnect').disabled = !connected;
 	            document.getElementById('conversationDiv').style.visibility = connected ? 'visible' : 'hidden';
 	            document.getElementById('response').innerHTML = '';
 	        }
-
+	        
 	        function connect() {
-
+	        	
 	            var socket = new SockJS('/chat');
-	            stompClient = Stomp.over(socket);
-
+	            stompClient = Stomp.over(socket);  
+	            
 	            stompClient.connect({}, function(frame) {
-
+	                
 	            	setConnected(true);
 	                console.log('Connected: ' + frame);
 	                stompClient.subscribe('/topic/messages', function(messageOutput) {
-
+	                	
 	                    showMessageOutput(JSON.parse(messageOutput.body));
 	                });
 	            });
 	        }
-
+	        
 	        function disconnect() {
-
+	        	
 	            if(stompClient != null) {
 	                stompClient.disconnect();
 	            }
-
+	            
 	            setConnected(false);
 	            console.log("Disconnected");
 	        }
-
+	        
 	        function sendMessage() {
-
+	        	
 	        	var from = document.getElementById('from').value;
 	            var text = document.getElementById('text').value;
 	            stompClient.send("/app/chat", {}, JSON.stringify({'from':from, 'text':text}));
 	        }
-
+	        
 	        function showMessageOutput(messageOutput) {
-
+	        	
 	            var response = document.getElementById('response');
 	            var p = document.createElement('p');
 	            p.style.wordWrap = 'break-word';
 	            p.appendChild(document.createTextNode(messageOutput.from + ": " + messageOutput.text + " (" + messageOutput.time + ")"));
 	            response.appendChild(p);
 	        }
-
+	        
 	    </script>
-
+	    
 	</head>
-
+	
 	<body onload="disconnect()">
 
 		<div>
-
-
+		
+		
 			<div>
 				<input type="text" id="from" placeholder="Choose a nickname"/>
 			</div>
@@ -85,4 +85,4 @@
 		</div>
 
 	</body>
-</html>
+</html>
\ No newline at end of file