forked from rems-project/sail
-
Notifications
You must be signed in to change notification settings - Fork 12
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
clean up output #4
Comments
Hello @ThinkOpenly, I've already begun looking into this, will draft a PR soon. |
ThinkOpenly
pushed a commit
that referenced
this issue
Mar 6, 2024
In the JSON backend, currently all messages (debug text and JSON data) are emitted to stdout. Change debug messages to be emitted to stderr by using `prerr_endline` instead of `print_endline`. Fixes #4.
I thought "Fixes #4" string in the commit message would automatically close this, but no. |
rod7760
pushed a commit
to rod7760/sail
that referenced
this issue
Mar 29, 2024
In the JSON backend, currently all messages (debug text and JSON data) are emitted to stdout. Change debug messages to be emitted to stderr by using `prerr_endline` instead of `print_endline`. Fixes ThinkOpenly#4.
ThinkOpenly
pushed a commit
that referenced
this issue
Mar 29, 2024
In the JSON backend, currently all messages (debug text and JSON data) are emitted to stdout. Change debug messages to be emitted to stderr by using `prerr_endline` instead of `print_endline`. Fixes #4.
ThinkOpenly
pushed a commit
that referenced
this issue
Jun 17, 2024
In the JSON backend, currently all messages (debug text and JSON data) are emitted to stdout. Change debug messages to be emitted to stderr by using `prerr_endline` instead of `print_endline`. Fixes #4.
ThinkOpenly
pushed a commit
that referenced
this issue
Sep 16, 2024
In the JSON backend, currently all messages (debug text and JSON data) are emitted to stdout. Change debug messages to be emitted to stderr by using `prerr_endline` instead of `print_endline`. Fixes #4.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Lots and lots of debug-level output (noise) is emitted to standard output, along with the JSON (signal).
It would be nice to make this debug output optional, perhaps via a command-line parameter (
--debug
?) or environment variable.It would be nice to push the debug output to stderr, so it's easily filtered away by redirection. It appears that changing those non-essential
print_endline
calls toprerr_endline
would go a long way.The text was updated successfully, but these errors were encountered: