From 8f733605373c66ebd64b4180d42b654f3bb246c5 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <derf@finalrewind.org>
Date: Thu, 13 Apr 2017 09:51:31 +0200
Subject: Kill MIMOSA upon mismatch exit

---
 lib/Kratos/DFADriver.pm | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/Kratos')

diff --git a/lib/Kratos/DFADriver.pm b/lib/Kratos/DFADriver.pm
index b7e1200..321860d 100644
--- a/lib/Kratos/DFADriver.pm
+++ b/lib/Kratos/DFADriver.pm
@@ -1297,12 +1297,14 @@ sub merged_json {
 				if ($online_obj->{isa} ne $plan_obj->{isa}) {
 					printf("Log merge: ISA mismatch (should be %s, is %s) at index %d#%d\n",
 						$plan_obj->{isa}, $online_obj->{isa}, $trace_idx, $idx);
+					$self->mimosa->kill;
 					exit(1);
 				}
 				if ( $plan_obj->{name} ne 'UNINITIALIZED' ) {
 					if ($online_obj->{name} ne $plan_obj->{name}) {
 						printf("Log merge: name mismatch (should be %s, is %s) at index %d#%d\n",
 						$plan_obj->{name}, $online_obj->{name}, $trace_idx, $idx);
+						$self->mimosa->kill;
 						exit(1);
 					}
 				}
-- 
cgit v1.2.3