mixup in case of DISPLAY messages type (#1038)

ProjectEvent message mixup fixed.

Fixes #1036
This commit is contained in:
Tamas Cservenak
2024-06-20 08:01:29 +01:00
committed by GitHub
parent d2942ccbc1
commit 952a67450b
4 changed files with 6 additions and 10 deletions

View File

@@ -165,7 +165,7 @@ public class DefaultClient implements Client {
} catch (DaemonException.InterruptedException e) {
final AttributedStyle s = new AttributedStyle().bold().foreground(AttributedStyle.RED);
String str = new AttributedString(System.lineSeparator() + "Canceled by user", s).toAnsi();
output.accept(Message.display(str));
output.accept(Message.err(str));
exitCode = 130;
}
}