Add Devserver reload

Author: ryanmcdermott

devserver/devserver_loader.js

@@ -6,6 +6,16 @@ setInterval(() => {
             return response.json();
         })
         .then(function (manifest) {
-            console.warn(manifest);
+            if (!window.__DEVSERVER_MANIFEST__) {
+                __DEVSERVER_MANIFEST__ = manifest;
+                return;
+            }
+
+            for (let key in manifest) {
+                if (manifest[key] !== __DEVSERVER_MANIFEST__[key]) {
+                    console.log("Reloading due to change in " + key);
+                    window.location.reload();
+                }
+            }
         })
 }, 1000);

devserver/main.cc

@@ -116,7 +116,7 @@ json ComputeManifest(const std::map<Path, FileContents> &path_to_contents) {
     char digest[PICOHASH_MD5_DIGEST_LENGTH];
 
     picohash_init_md5(&ctx);
-    picohash_update(&ctx, &contents, contents.size());
+    picohash_update(&ctx, contents.c_str(), contents.size());
     picohash_final(&ctx, digest);
     std::string digest_str(base64_encode(digest, PICOHASH_MD5_DIGEST_LENGTH));
     manifest[path] = digest_str;