From 3d5e8c02985490b0727a3594379b566825ef77db Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 13 Jun 2019 14:33:14 +0100 Subject: [PATCH] Be noisy about available services --- packages/syntax-playground/src/socks-gateway.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/syntax-playground/src/socks-gateway.js b/packages/syntax-playground/src/socks-gateway.js index 8a8f84c..e852828 100644 --- a/packages/syntax-playground/src/socks-gateway.js +++ b/packages/syntax-playground/src/socks-gateway.js @@ -258,11 +258,11 @@ spawn named 'remap-service' { during C.ServerConnected(server_addr) { on asserted C.FromServer(server_addr, $entry(AddressMap(_, _, _))) { - debug('+', entry.toString()); + console.log('+', entry.toString()); this.table = this.table.set(lc(AddressMap._from(entry)), entry); } on retracted C.FromServer(server_addr, $entry(AddressMap(_, _, _))) { - debug('-', entry.toString()); + console.log('-', entry.toString()); this.table = this.table.remove(lc(AddressMap._from(entry))); }