From ddd67540bea7ca5db591482e0b8d09b45ed5ff0b Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sat, 11 Jun 2016 07:02:19 -0400
Subject: [PATCH] Default to wss:// instead of ws://

---
 js/examples/chat/index.html | 2 +-
 js/examples/motion/index.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/examples/chat/index.html b/js/examples/chat/index.html
index 0920ab6..9891216 100644
--- a/js/examples/chat/index.html
+++ b/js/examples/chat/index.html
@@ -16,7 +16,7 @@
       <form name="nym_form">
 	<fieldset>
 	  <label class="control-label" for="wsurl">Server:</label>
-	  <input type="text" id="wsurl" name="wsurl" value="ws://demo-broker.syndicate-lang.org:8000/">
+	  <input type="text" id="wsurl" name="wsurl" value="wss://demo-broker.syndicate-lang.org:8443/">
 
 	  <label class="control-label" for="nym">Nym:</label>
 	  <input type="text" id="nym" name="nym" value="">
diff --git a/js/examples/motion/index.js b/js/examples/motion/index.js
index d20ec50..a685d2e 100644
--- a/js/examples/motion/index.js
+++ b/js/examples/motion/index.js
@@ -22,7 +22,7 @@ ground dataspace G {
       return Math.max(Math.min(v, limit), -limit);
     }
 
-    var wsurl = 'ws://demo-broker.syndicate-lang.org:8000/';
+    var wsurl = 'wss://demo-broker.syndicate-lang.org:8443/';
     react {
       assert brokerConnection(wsurl);