diff --git a/website/scripts/sth.js b/website/scripts/sth.js index a25a8c1ac7148dcac445b3d496054f9b26ff5544..f55f437fa2a4c9427ed00934efd1c371ace397de 100644 --- a/website/scripts/sth.js +++ b/website/scripts/sth.js @@ -35,7 +35,7 @@ function BrowserRunner() { $.ajax({async: false, dataType: "text", success: function(data){errorDetectorFileContents = data;}, - url:harnessDir+"ed.js"}); + url:"scripts/ed.js"}); $.ajax({async: false, dataType: "text", @@ -45,7 +45,7 @@ function BrowserRunner() { $.ajax({async: false, dataType: "text", success: function(data){globalScopeContents = data;}, - url:harnessDir+"gs.js"}); + url:"scripts/gs.js"}); $.ajax({async: false, dataType: "text",