js: Percent-encode game IDs in URLs and decode them again on input

This is necessary to allow all random seeds to round-trip properly.
It's probably not currently necessary for descriptive game IDs, but it
won't hurt.

I've deliberately gone for encoding only those characters that are not
valid in fragment identifiers to minimise the ugliness of the generated
URLs.  For slightly interesting historical reasons, '#' is not valid in
a fragment identifier, so all random seed links end up a little bit
ugly.

1 files changed, 1 insertions, 1 deletions

diff --git a/emccpre.js b/emccpre.js
index 7bdc2d6..d9ecd8c 100644
--- a/emccpre.js
+++ b/emccpre.js
@@ -515,7 +515,7 @@ function initPuzzle() {
         // Run the C setup function, passing argv[1] as the fragment
         // identifier (so that permalinks of the form puzzle.html#game-id
         // can launch the specified id).
-        Module.callMain([location.hash]);
+        Module.callMain([decodeURIComponent(location.hash)]);
 
         // And if we get here with everything having gone smoothly, i.e.
         // we haven't crashed for one reason or another during setup, then