Skip to content
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

Use of pinojs as logger instead of ulog #237

Merged
merged 4 commits into from
Oct 15, 2023
Merged

Conversation

axmmisaka
Copy link
Collaborator

@axmmisaka axmmisaka commented Oct 3, 2023

ULog is too old, and while having a log wrapper is fine imo, the current way which we structure it is a bit too bad.
This closes #228

Last TODO: prettify the output so it's not a miserable json

axmmisaka added a commit to lf-lang/lingua-franca that referenced this pull request Oct 12, 2023
@axmmisaka axmmisaka force-pushed the use-pinojs-as-logger branch from 71dad19 to 039c0e8 Compare October 13, 2023 00:00
@lhstrh lhstrh self-requested a review October 13, 2023 01:13
@axmmisaka axmmisaka force-pushed the use-pinojs-as-logger branch from d56ef2b to c072a08 Compare October 13, 2023 18:46
@axmmisaka
Copy link
Collaborator Author

Merge #239 first.
Then, lf-lang/lingua-franca#2052 should pass. Merge that.
Finally, drop 039c0e8 and potentially 9402a47, and merge this PR.

Kagamihara Nadeshiko and others added 4 commits October 13, 2023 17:38
1. Use namespace instead of class for Log
2. Remove duplicate code by adding a `logWithSeverity`
3. Rename `global` to `globalLogger` to avoid confusion
4. Change code/tests accordingly
@axmmisaka axmmisaka force-pushed the use-pinojs-as-logger branch from 7b8eea8 to 1d84174 Compare October 14, 2023 00:39
@lhstrh lhstrh changed the title Use pinojs as logger Use of pinojs as logger instead of ulog Oct 14, 2023
Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@axmmisaka axmmisaka merged commit b5639a0 into master Oct 15, 2023
4 checks passed
@axmmisaka axmmisaka deleted the use-pinojs-as-logger branch October 15, 2023 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Stop using ULog, migrate to loglevel or winston
2 participants