From dfe99653fa993bd506fb77e71441e654308a1b65 Mon Sep 17 00:00:00 2001 From: LetterJay Date: Mon, 5 Jun 2017 07:43:33 -0500 Subject: [PATCH] Rename server_to_bridge_port.txt to server_to_tool_bridge_port.txt --- config/server_to_bridge_port.txt | 1 - config/server_to_tool_bridge_port.txt | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 config/server_to_bridge_port.txt create mode 100644 config/server_to_tool_bridge_port.txt 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