nettoie à la sortie du script ・ 8faa717 ・ Gitprep

Code
Issues
0
Pull request
0
Wiki
Members

- nettoie à la sortie du script;
- Browse files
- Sébastien MARQUE commited on 2022-07-30
- 1 parent a7cd4c1
  
  commit 8faa717b6afe3d1bb428df6145f862e5afa4d43e

Showing 1 changed files with 1 additions and 0 deletions

analyse-votes-AN

@@ -424,6 +424,7 @@ function save_database () {
     else
         echo "je ne peux rien faire avec $database !"
     fi
+    rm -f "$in_ram_database" "$tempfile"
 }
 
 function dernier_scrutin_public () {

...	...	@@ -424,6 +424,7 @@ function save_database () {
424	424	else
425	425	echo "je ne peux rien faire avec $database !"
426	426	fi
	427	+ rm -f "$in_ram_database" "$tempfile"
427	428	}
428	429
429	430	function dernier_scrutin_public () {