search

mirage / mirage-platform

Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.
https://mirage.io
Other
77 stars 42 forks source link

No visible output from OS.Console.log on Unix #70

Closed cgreenhalgh closed 11 years ago

cgreenhalgh commented 11 years ago

Apparently due to buffering - this is just a duplicate of Mort's pull request to mirage/mirage, But it still isn't fixed so the mirage-skeleton tutorial examples appear not to work when you try them! (e.g. basic doesn't visibly print hello...)

avsm commented 11 years ago

will take a look shortly -- am refactoring some of the definitions atm

On Fri, Oct 18, 2013 at 01:52:37AM -0700, Chris Greenhalgh wrote:

Apparently due to buffering - this is just a duplicate of Mort's pull request to mirage/mirage, But it still isn't fixed so the mirage-skeleton tutorial examples appear not to work when you try them! (e.g. basic doesn't visibly print hello...)

Reply to this email directly or view it on GitHub: https://github.com/mirage/mirage-platform/issues/70

avsm commented 11 years ago

Should be fixed in trunk now (and still go to stderr, which mort's pull req didnt). My fix also avoids Printf, which is a bit slow and overkill for a core logger