From 15f9804e546a3d80caae220e0a4f1acef4a13b6a Mon Sep 17 00:00:00 2001
From: Mike Pennisi <mike@mikepennisi.com>
Date: Fri, 26 Jun 2015 14:34:24 -0400
Subject: [PATCH] Complete migration of website assets

Update the URLs used by dynamic script loading code according to the new
location of the recently-moved web site scripts.
---
 website/scripts/sth.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/website/scripts/sth.js b/website/scripts/sth.js
index a25a8c1ac7..f55f437fa2 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",