display_lines.push(current_display_line);
$("#pv").html(print_pv(display_lines.length - 1));
display_line_num = display_lines.length - 1;
+
+ // Clear out the PV, so it's not selected by anything later.
+ display_lines[1].pretty_pv = [];
}
highlighted_move = $("#automove" + display_line_num + "-" + (current_display_move - current_display_line.start_display_move_num));
}
var format_long_score = function(score) {
+ if (!score) {
+ return "???";
+ }
if (score[0] === 'm') {
if (score[1] > 0) {
return "White mates in " + score[1];