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
It seems like system() returns both, stdout and stderr. With the upcoming change in Bob both must be separated before evaluating the result. The change can be made before the change in Bob will be released as it have no influence in that case, stderr is just always empty.
The text was updated successfully, but these errors were encountered:
It seems like
system()
returns both,stdout
andstderr
. With the upcoming change in Bob both must be separated before evaluating the result. The change can be made before the change in Bob will be released as it have no influence in that case,stderr
is just always empty.The text was updated successfully, but these errors were encountered: