Merge pull request #1711 from dcooper16/fix1699

Fix #1699
This commit is contained in:
Dirk Wetter 2020-08-31 17:08:10 +02:00 committed by GitHub
commit d424b0c649
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1229,7 +1229,7 @@ fileout_pretty_json_banner() {
fileout_banner() {
if "$JSONHEADER"; then
# "$do_json" && # here we maybe should add a banner, too
"$do_pretty_json" && (printf "%s\n" "$(fileout_pretty_json_banner)") >> "$JSONFILE"
"$do_pretty_json" && FIRST_FINDING=true && (printf "%s\n" "$(fileout_pretty_json_banner)") >> "$JSONFILE"
fi
}