Rename WebKitTools to Tools
[WebKit-https.git] / Tools / Scripts / run-webkit-websocketserver
similarity index 95%
rename from WebKitTools/Scripts/run-webkit-websocketserver
rename to Tools/Scripts/run-webkit-websocketserver
index 08d430b..d030951 100755 (executable)
@@ -65,7 +65,7 @@ sub openWebSocketServer()
     my $webSocketHandlerDir = "$testDirectory";
 
     my @args = (
-        "$srcDir/WebKitTools/Scripts/new-run-webkit-websocketserver",
+        "$srcDir/Tools/Scripts/new-run-webkit-websocketserver",
         "--server", "start",
         "--port", "$webSocketPort",
         "--root", "$webSocketHandlerDir",
@@ -77,7 +77,7 @@ sub openWebSocketServer()
 sub closeWebSocketServer()
 {
     my @args = (
-        "$srcDir/WebKitTools/Scripts/new-run-webkit-websocketserver",
+        "$srcDir/Tools/Scripts/new-run-webkit-websocketserver",
         "--server", "stop",
         "--pidfile", "$webSocketServerPidFile"
     );