Open rchikhi opened 8 years ago
right now we don't log any output, it would be good to
actually, programs' stdout are not saved (due to buffering issues), correct that
right now we don't log any output, it would be good to