Correct the default TID and TRP ports in internal.cfg

diff --git a/tr/internal.cfg b/tr/internal.cfg
index 7bfe0f5..eef0f61 100644 (file)
--- a/tr/internal.cfg
+++ b/tr/internal.cfg
@@ -2,8 +2,8 @@
   "tr_internal": {
     "max_tree_depth": 12,
     "hostname":"beta.example.com",
-    "trps_port":25308,
-    "tids_port":25309,
+    "trps_port":12308,
+    "tids_port":12309,
     "cfg_poll_interval": 1,
     "cfg_settling_time": 5,
     "trp_sweep_interval": 30,