From 9f565e79aef948faeeb4bc51dea79319de03eeaa Mon Sep 17 00:00:00 2001
From: Dmitri Sytov <dmitrins@gmail.com>
Date: Fri, 9 Nov 2018 15:10:05 +0300
Subject: [PATCH] URL-friendly parameter encoding

---
 explorer/static/explorer/explorer.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/explorer/static/explorer/explorer.js b/explorer/static/explorer/explorer.js
index 0a0fa9e6..80bd254d 100644
--- 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() {