-
Notifications
You must be signed in to change notification settings - Fork 28.7k
Temporarily remove a bogus warning until fixed by dwds update #109793
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
Temporarily remove a bogus warning until fixed by dwds update #109793
Conversation
@@ -1042,7 +1042,9 @@ void log(logging.LogRecord event) { | |||
if (event.level >= logging.Level.SEVERE) { | |||
globals.printError('${event.loggerName}: ${event.message}$error', stackTrace: event.stackTrace); | |||
} else if (event.level == logging.Level.WARNING) { | |||
globals.printWarning('${event.loggerName}: ${event.message}$error'); | |||
if (!event.message.contains('No module for')) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If the need for this check is temporary, please add a TODO with issue/PR after which this can be removed.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done! This is already fixed in dwds master, so I added a link to the "release new version of dwds" issue.
…r#109793) * Temporarily remove a bogus warning until fixed by dwds update * Addressed CR feedback
… (#112887) * Temporarily remove a bogus warning until fixed by dwds update * Addressed CR feedback Co-authored-by: Anna Gringauze <[email protected]>
Closes: #109792
Pre-launch Checklist
///
).If you need help, consider asking for advice on the #hackers-new channel on Discord.