SIGINT handler, for partial result.

2021-01-23 15:26:00 +01:00
parent 0931d679fa
commit 5025303e18
3 changed files with 20 additions and 1 deletions
--- a/eval.c
+++ b/eval.c
@@ -80,6 +80,10 @@ int eval_node(node, depth, pvals, pops, ncalcs)
        if (!check_best(res, *ncalcs, node, val_zero, ops_zero))
            res=-1;
    }
+    if (stopped()) {
+        print_bests();
+        exit(1);
+    }
 #   ifdef  DEBUG1
    for (i=0; i<=depth; ++i)
        printf("  ");