Deal with negative depths.

[remoteglot] / www / js / remoteglot.js

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 21a995eea87a4073c7a92062ab8964e069baf340..7ad1ff02565d904c2080e662a1ad7731b5a5f3e7 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -822,7 +822,11 @@ var update_refutation_lines = function() {
                var depth_td = document.createElement("td");
                tr.appendChild(depth_td);
                $(depth_td).addClass("depth");
                var depth_td = document.createElement("td");
                tr.appendChild(depth_td);
                $(depth_td).addClass("depth");

-               $(depth_td).text("d" + line['depth']);
+               if (line['depth'] && line['depth'] >= 0) {
+                       $(depth_td).text("d" + line['depth']);
+               } else {
+                       $(depth_td).text("—");
+               }

 
                var pv_td = document.createElement("td");
                tr.appendChild(pv_td);
 
                var pv_td = document.createElement("td");
                tr.appendChild(pv_td);