update gitignore trap docker kill

.gitignore

@@ -17,6 +17,7 @@ test/tmp_output/
 .DS_Store
 build
 data
+sanitizer
 .vscode/
 .devcontainer/
 .cache

scripts/sanitizers/run_sanitizers.sh

@@ -8,6 +8,12 @@ mkdir -p sanitizer
 
 docker build -t lantern-san -f scripts/sanitizers/Dockerfile .
 
+function kill-docker {
+    docker kill lantern-sanitizers
+}
+
+trap kill-docker EXIT
+
 docker run --rm -d -v $(pwd)/sanitizer:/lantern/sanitizer --name lantern-sanitizers lantern-san
 
 docker exec -i -u root lantern-sanitizers /bin/bash <<EOF
@@ -16,6 +22,5 @@ EOF
 
 docker exec -i -u postgres -w /lantern/build lantern-sanitizers /bin/bash <<EOF
 make test
+cp /tmp/lantern/tmp_output/results/*.out /lantern/sanitizer
 EOF
-
-docker kill lantern-sanitizers