contrib/dut-console: Set default port to 9999

BUG=none
TEST=`dut-console -c ec` works

Change-Id: I1ecc22c9c28023fac63c2d9f7b50e607a6df8c15
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/dev-util/+/2255722
Reviewed-by: Tzung-Bi Shih <tzungbi@chromium.org>
Commit-Queue: Nicolas Boichat <drinkcat@chromium.org>
Tested-by: Nicolas Boichat <drinkcat@chromium.org>
diff --git a/contrib/dut-console b/contrib/dut-console
index 712553e..d48f64b 100755
--- a/contrib/dut-console
+++ b/contrib/dut-console
@@ -67,16 +67,12 @@
 
 get_pty() {
   local pty_name="$1"
-  local port="$2"
+  local port="${2:-9999}"
   local args=()
 
-  if [[ -n "${port}" ]]; then
-    port=":${port}"
-  fi
-
   python3 -c \
 "import xmlrpc.client;
-servo = xmlrpc.client.ServerProxy('http://localhost${port}');
+servo = xmlrpc.client.ServerProxy('http://localhost:${port}');
 print('%s' % servo.get('${pty_name}'))"
 }