Fix close() cleanup #3

Closed
opened 2021-03-24 23:00:53 +00:00 by Ludwig · 0 comments
Owner

At the moment, close() doesn't seem to clean everything as needed. After a close(), open() throws an exception.

At the moment, close() doesn't seem to clean everything as needed. After a close(), open() throws an exception.
Ludwig added the
bug
TODO
labels 2021-03-24 23:00:53 +00:00
Sign in to join this conversation.
No description provided.