1 files changed, 5 insertions, 0 deletions
diff --git a/src/plugins/platforms/pepper/3rdparty/pepper.js/web_socket.js b/src/plugins/platforms/pepper/3rdparty/pepper.js/web_socket.js
index 732efd9f88..8eccb30e5b 100644
--- a/src/plugins/platforms/pepper/3rdparty/pepper.js/web_socket.js
+++ b/src/plugins/platforms/pepper/3rdparty/pepper.js/web_socket.js
@@ -2,6 +2,9 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
+var ENVIRONMENT_IS_PTHREAD; // is set to true in pthread-main.js if we are in a worker
+if(!ENVIRONMENT_IS_PTHREAD) { 
+
 (function() {
 /*
 
@@ -322,3 +325,5 @@ http://creativecommons.org/publicdomain/zero/1.0/legalcode
   ]);
 
 })();
+
+}