Merge pull request #347 from dmitrins/encode_params

URL-friendly parameter encoding
chrisclark · Mar 19, 2019 · f289d6b · f289d6b
2 parents c092010 + 9f565e7
commit f289d6b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/explorer/static/explorer/explorer.js b/explorer/static/explorer/explorer.js
@@ -51,9 +51,9 @@ ExplorerEditor.prototype.getParams = function() {
 ExplorerEditor.prototype.serializeParams = function(params) {
     var args = [];
     for(var key in params) {
-        args.push(key + '%3A' + params[key]);
+        args.push(key + ':' + params[key]);
     }
-    return args.join('%7C');
+    return encodeURIComponent(args.join('|'))
 };
 
 ExplorerEditor.prototype.doCodeMirrorSubmit = function() {