[libeufin] branch master updated: file check needed

[gnunet]

This is an automated email from the git hooks/post-receive script.

ms pushed a commit to branch master
in repository libeufin.

The following commit(s) were added to refs/heads/master by this push:
     new 43e53c7  file check needed
43e53c7 is described below

commit 43e53c7bd14c16427ffddf1c08abbbc844e96114
Author: MS <ms@taler.net>
AuthorDate: Mon Dec 7 14:44:28 2020 +0100

    file check needed
---
 integration-tests/util.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/integration-tests/util.py b/integration-tests/util.py
index ca6949a..a8bda14 100644
--- a/integration-tests/util.py
+++ b/integration-tests/util.py
@@ -7,6 +7,7 @@ from time import sleep
 import atexit
 from pathlib import Path
 import sys
+import os
 
 class CheckJsonField:
     def __init__(self, name, nested=None, optional=False):
@@ -47,7 +48,8 @@ def kill(name, s):
 
 def removeStaleDatabase(dbName):
     db_full_path = str(Path.cwd() / dbName)
-    os.remove(db_full_path)
+    if os.path.exists(db_full_path):
+        os.remove(db_full_path)
 
 def makeNexusSuperuser(dbName):
     db_full_path = str(Path.cwd() / dbName)

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.