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
{{ message }}
This repository has been archived by the owner on Jul 14, 2020. It is now read-only.
It would appear that some buffering or something sometimes eat the logs (on some machines) when I kill the process, and then the logs don't contain stuff.
Logs need to be handled properly instead of with shell redirection, so that we don't lose them.
The text was updated successfully, but these errors were encountered:
It would appear that some buffering or something sometimes eat the logs (on some machines) when I kill the process, and then the logs don't contain stuff.
Logs need to be handled properly instead of with shell redirection, so that we don't lose them.
The text was updated successfully, but these errors were encountered: