fix: dont throw error when session was already stopped

2023-01-06 19:28:37 +01:00
parent 7421e30704
commit 70c281e54e
3 changed files with 10 additions and 11 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,5 @@ doc/tags
 debug
 .repro
 foo.*
+*.log
+data