Merge pull request #1187 from minrk/encode-url-terminal

add missing url-encoding of base_url in terminal/edit templates

notebook/templates/edit.html

@@ -11,7 +11,7 @@
 {% block bodyclasses %}edit_app {{super()}}{% endblock %}
 
 {% block params %}
-data-base-url="{{base_url}}"
+data-base-url="{{base_url | urlencode}}"
 data-file-path="{{file_path}}"
 {{super()}}
 {% endblock %}

notebook/templates/terminal.html

@@ -6,7 +6,7 @@
 
 {% block params %}
 
-data-base-url="{{base_url}}"
+data-base-url="{{base_url | urlencode}}"
 data-ws-path="{{ws_path}}"
 
 {% endblock %}