From 4a241c586818adddc6d93f998c1499e76838fb9a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?LUKE=E2=84=A2?= <utx0@mettadata.com>
Date: Tue, 1 Aug 2023 12:39:29 +1000
Subject: [PATCH] Write file on each save

---
 .gitignore                   | 5 ++++-
 slither/core/slither_core.py | 1 +
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4441c03d1..a895c22ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -114,4 +114,7 @@ test_artifacts/
 crytic-export/
 
 # Auto-generated Github pages docs
-docs/
\ No newline at end of file
+docs/
+
+# slither.db.json 
+slither.db.json
diff --git a/slither/core/slither_core.py b/slither/core/slither_core.py
index 798008707..3304d52bd 100644
--- a/slither/core/slither_core.py
+++ b/slither/core/slither_core.py
@@ -466,6 +466,7 @@ class SlitherCore(Context):
 
     def save_results_to_hide(self, results: List[Dict]) -> None:
         self._results_to_hide += results
+        self.write_results_to_hide()
 
     def add_path_to_filter(self, path: str):
         """