bug fix: praxly doesn't init when url is malformed

JMU-CS · Oct 24, 2024 · a3e8474 · a3e8474
1 parent bacafd6
commit a3e8474
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/src/ast.js b/src/ast.js
@@ -577,7 +577,8 @@ class Praxly_input {
         try {
             const result = await consoleInput();
             return new Praxly_String(result, this.json);
-        } catch (e) {
+        }
+        catch (error) {
             throw new PraxlyError("input canceled", this.json.line);
         }
     }

diff --git a/src/main.js b/src/main.js
@@ -751,7 +751,11 @@ function parseUrlConfiguration() {
   const pattern = '#code=';
   if (hash.startsWith(pattern)) {
     let source = hash.substring(pattern.length);
-    configuration.code = decodeURIComponent(source);
+    try {
+      configuration.code = decodeURIComponent(source);
+    } catch (error) {
+      configuration.code = '// Unable to get code from URL\n// '+ error + '\n';
+    }
   } else {
     configuration.code = null;
   }