diff options
Diffstat (limited to 'lib/Kratos')
| -rw-r--r-- | lib/Kratos/DFADriver.pm | 2 |
1 files changed, 2 insertions, 0 deletions
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); } } |