Skip to content

Commit

Permalink
booktest: explicitly destroy mongodb db and client
Browse files Browse the repository at this point in the history
  • Loading branch information
benlorenz committed Jul 23, 2024
1 parent a913f80 commit ba9a3a7
Showing 1 changed file with 4 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -124,3 +124,7 @@ One realization is given by
[0 1 1 0 1 1 1 1 1]
[0 0 0 1 2 3 6 3 2]
in the rational field

julia> Polymake.Polydb.Mongoc.destroy!(db.mdb.client);

julia> Polymake.Polydb.Mongoc.destroy!(db.mdb);

0 comments on commit ba9a3a7

Please sign in to comment.