diff --git a/config/server_to_bridge_port.txt b/config/server_to_bridge_port.txt deleted file mode 100644 index 75fd9c9d34..0000000000 --- a/config/server_to_bridge_port.txt +++ /dev/null @@ -1 +0,0 @@ -45678 \ No newline at end of file diff --git a/config/server_to_tool_bridge_port.txt b/config/server_to_tool_bridge_port.txt new file mode 100644 index 0000000000..402253760b --- /dev/null +++ b/config/server_to_tool_bridge_port.txt @@ -0,0 +1 @@ +45678