added ROOT_ENDPOINT to example endpoints

diff --git a/static/src/index.js b/static/src/index.js
index b7bd57f132b247285d9b3c0478d8c541a342f671..62c7734f602b4a08c0aac5785e84df2652c6214b 100644 (file)
--- a/static/src/index.js
+++ b/static/src/index.js
@@ -231,7 +231,7 @@ function submit_input() {
 }
 
 function populate_examples() {
-    fetch("/list_examples")
+    fetch(ROOT_ENDPOINT + "/list_examples")
     .then(x => x.json())
     .then(examples => {
         let $selector = $("#examples-selector");
@@ -250,7 +250,7 @@ function load_example() {
     let example = $selector.val();
     if (example == "---") return;
 
-    fetch(`/example?example=${example}`)
+    fetch(`${ROOT_ENDPOINT}/example?example=${example}`)
     .then(x => x.text())
     .then(text => {
         let editor = ace.edit('code-editor');