From 8a0914b749bbe7da7768e07a7db5c6d4bb09472b Mon Sep 17 00:00:00 2001 From: Steve Block Date: Mon, 15 Feb 2010 12:23:52 +0000 Subject: Merge webkit.org at r54731 : Initial merge by git Change-Id: Ia79977b6cf3b0b00c06ef39419989b28e57e4f4a --- WebKitTools/Scripts/run-webkit-websocketserver | 1 + 1 file changed, 1 insertion(+) (limited to 'WebKitTools/Scripts/run-webkit-websocketserver') diff --git a/WebKitTools/Scripts/run-webkit-websocketserver b/WebKitTools/Scripts/run-webkit-websocketserver index bbc5af6..64a724d 100755 --- a/WebKitTools/Scripts/run-webkit-websocketserver +++ b/WebKitTools/Scripts/run-webkit-websocketserver @@ -75,6 +75,7 @@ sub openWebSocketServer() "-d", "$webSocketHandlerDir", "-s", "$webSocketHandlerScanDir", "-m", "$webSocketHandlerMapFile", + "-x", "/websocket/tests/cookies", ); $ENV{"PYTHONPATH"} = $webSocketPythonPath; -- cgit v1.1