Matitaweb: secure SHA-256 encryption for passwords.

[helm.git] / matitaB / matita / matitaweb.js

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 343d539e66deda5c23cc8a963430f0f693bb72c5..6e6b905dba52173bdac9fc007b5ec872a413f4c5 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -708,8 +708,10 @@ function get_choice_opts(i) {
       var desc;
       if (is_defined(title)) {
           desc = title;
-      } else {
+      } else if (is_defined(href)) {
           desc = href;
+      } else {
+          desc = "Preliminary error";
       }
   
       res[j] = document.createElement("input");
@@ -815,7 +817,7 @@ function show_failures() {
        var choicedesc = choice.getAttribute("desc");
 
        var title = "<H3>Disambiguation failed</H3>";
-       var subtitle = "<p>Errors at node " + choiceno + " = " + choicedesc + "</p>";
+       var subtitle = "<p>Errors at node " + cpno + " = " + choicedesc + "</p>";
 
        disambcell.innerHTML = title + subtitle;
        var failures = get_failure_opts(cpno,choiceno);