23 lines
797 B
Diff
23 lines
797 B
Diff
Webkit: disable websockets
|
|
|
|
From: Christian Prochaska <christian.prochaska@genode-labs.com>
|
|
|
|
|
|
---
|
|
src/3rdparty/webkit/Source/WebCore/features.pri | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/src/3rdparty/webkit/Source/WebCore/features.pri b/src/3rdparty/webkit/Source/WebCore/features.pri
|
|
index f04d0b4..67f3b33 100644
|
|
--- a/src/3rdparty/webkit/Source/WebCore/features.pri
|
|
+++ b/src/3rdparty/webkit/Source/WebCore/features.pri
|
|
@@ -106,7 +106,7 @@ contains(DEFINES, ENABLE_SINGLE_THREADED=1) {
|
|
}
|
|
|
|
# Web Socket support.
|
|
-!contains(DEFINES, ENABLE_WEB_SOCKETS=.): DEFINES += ENABLE_WEB_SOCKETS=1
|
|
+#!contains(DEFINES, ENABLE_WEB_SOCKETS=.): DEFINES += ENABLE_WEB_SOCKETS=1
|
|
|
|
# Web Timing support.
|
|
!contains(DEFINES, ENABLE_WEB_TIMING=.): DEFINES += ENABLE_WEB_TIMING=1
|