public void notifyFuzzProcessComplete(FuzzResult fuzzResult) {
if (fuzzResult instanceof WebSocketFuzzResult) {
if (((WebSocketFuzzResult) fuzzResult).isAbort()) {
ExtensionFuzz extFuzz = getFuzzExtension();
if (extFuzz != null) {
extFuzz.stopFuzzers();
}
}
}
}