update url

src/scripts/search.js

@@ -9,7 +9,7 @@ function makeResourceGetter(self) {
             "title" : this.booktitle,
             "author" : this.bookauthor
         };
-        var url = "http://"+root+"/resources";
+        var url = "https://"+root+"/resources";
         console.log(params);
         $.getJSON(url, {
             data : JSON.stringify(params)

src/scripts/search.tag

@@ -21,7 +21,7 @@
 function submit(ev) {
     console.log("submitted");
     var params = $(ev.currentTarget).serialize();
-    $.getJSON("http://"+root+"/fc?"+params,
+    $.getJSON("https://"+root+"/fc?"+params,
         function(courses) {
             var fcourses = filterCourses(courses);
             var cgroups = groupsof(4, fcourses);