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
Current output redirector (see PyDSTool.Redirector class) has several issues:
must be manually started/stopped
does not properly handle exceptions, which raise between start and stop calls
hardcoded to use temporary files, which are deleted when redirector is stopped
So suggestion is to replace current redirector with the one, which support context manager API (this will fix first two issues) and optionally support different targets for redirection. Something, like in this recipe.
The text was updated successfully, but these errors were encountered:
Actually, this in not a real fix. The problem is deeper.
`Redirector` doesn't properly handle exceptions, which raise between
`start` and `stop` calls.
So better is to replace current redirector with new one, which supports
context manager API (see issue robclewley#30)
Current output redirector (see
PyDSTool.Redirector
class) has several issues:start
andstop
callsSo suggestion is to replace current redirector with the one, which support context manager API (this will fix first two issues) and optionally support different targets for redirection. Something, like in this recipe.
The text was updated successfully, but these errors were encountered: