[FIX] fixes ws url issue

Author: Francois-Xavier Gentilhomme

dist/myscript.js

@@ -10561,7 +10561,7 @@ MyScript = {
     }
 
     NetworkWSInterface.prototype.setUrl = function (url) {
-        if (url !== undefined) {
+        if ((url !== undefined) && (url !== this._url)) {
             this.close();
             this._url = url;
         }
@@ -11099,7 +11099,7 @@ MyScript = {
      * @param {String}
      */
     AbstractWSRecognizer.prototype.setHost = function (host) {
-        if (host !== undefined) {
+        if ((host !== undefined) && (host != this.getHost())) {
             this.setUrl(this.getProtocol() + host);
         }
     };

dist/myscript.min.js

@@ -12,7 +12,7 @@
     }
 
     NetworkWSInterface.prototype.setUrl = function (url) {
-        if (url !== undefined) {
+        if ((url !== undefined) && (url !== this._url)) {
             this.close();
             this._url = url;
         }

dist/myscript.min.js.map

@@ -43,7 +43,7 @@
      * @param {String}
      */
     AbstractWSRecognizer.prototype.setHost = function (host) {
-        if (host !== undefined) {
+        if ((host !== undefined) && (host != this.getHost())) {
             this.setUrl(this.getProtocol() + host);
         }
     };