withInterpreter()

in src/main/resources/assets/scaffold.js [16:33]


		withInterpreter(function(interpreter) {
	      $.ajax({
	        type: 'POST',
	        url: interpreter + "/completions",
	        data: token,
	      }).done(function (result) {
			var hints = {list: result, from: Pos(cur.line, cur_token.start), to: Pos(cur.line, cur_token.end)};
			CodeMirror.showHint(editor, hints);
	      }).fail(function (xhr) {
	        if (xhr.status === 404) {
	        	withNewInterpreter(function (interpreter) {
	              autoComplete(editor);
	            });
	        } else {
	          console.log("Unexpected failure")
	        }
	      });
	    });