You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
That would serve a similar purpose as the close() in #130, to free backend resources when jex goes out of scope. I assume that this will not be used in somewhat complex use cases where jex is unlikely to live in a simple scope as above, but it does make canonical examples simple and intuitive...
The text was updated successfully, but these errors were encountered:
I think we talked about this during one of our meetings when a concern was voiced about (possibly unnecessary) API growth. In that spirit, I think there should be a rather high and clear need before anything should be added.
This is related to #130: should we provide a context manager interface?:
That would serve a similar purpose as the
close()
in #130, to free backend resources whenjex
goes out of scope. I assume that this will not be used in somewhat complex use cases wherejex
is unlikely to live in a simple scope as above, but it does make canonical examples simple and intuitive...The text was updated successfully, but these errors were encountered: