WebSocket 8080

js/tidings.js

	console.log(professorId)
	console.log(userid)
	function websocrket() {
		var ws = new WebSocket("ws://192.168.3.233:8081/portal/websocket/msg?id=" + userid + "&pm=www");
		var ws = new WebSocket("ws://192.168.3.233:8080/portal/websocket/msg?id=" + userid + "&pm=www");
		ws.onopen = function() {
			console.log(userid);
		};