gobstones-code-runner.html in gobstones-code-runner-0.8.0

- old
+ new

@@ -9331,11 +9331,11 @@
   'PRIM:minDir': 'minDir',
   'PRIM:maxDir': 'maxDir',
 
   'PRIM:isEmpty': 'esVacía',
   'PRIM:head': 'primero',
-  'PRIM:tail': 'resto',
+  'PRIM:tail': 'sinElPrimero',
   'PRIM:init': 'comienzo',
   'PRIM:last': 'último',
 
   /* Helpers */
   '<alternative>': function alternative(strings) {
@@ -19955,9 +19955,12 @@
 <script>
   class Parser {
     constructor() {
       const { GobstonesInterpreterAPI } = window["gobstones-interpreter"];
       this.interpreter = new GobstonesInterpreterAPI();
+
+      if (window.GBS_INFINITE_LOOP_TIMEOUT)
+        this.interpreter.config.setInfiniteLoopTimeout(window.GBS_INFINITE_LOOP_TIMEOUT);
     }
 
     parse(sourceCode, onError = () => {}, onSuccess = (it) => it) {
       const result = this.interpreter.parse(sourceCode);
 
\ No newline at end of file