diff options
Diffstat (limited to 'website')
| -rw-r--r-- | website/scripts/sth.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/website/scripts/sth.js b/website/scripts/sth.js index a25a8c1ac..f55f437fa 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",
|