mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
use special symbols for delimiters (better distinguish between users output and our control sequences)
This commit is contained in:
@@ -21,7 +21,7 @@ package com.intellij.rt.execution.junit.segments;
|
||||
public interface SegmentedStream {
|
||||
char SPECIAL_SYMBOL = '/';
|
||||
String SPECIAL_SYMBOL_STRING = String.valueOf(SPECIAL_SYMBOL);
|
||||
String MARKER_PREFIX = SPECIAL_SYMBOL_STRING + "M";
|
||||
String MARKER_PREFIX = SPECIAL_SYMBOL_STRING + '\u0001';
|
||||
String LENGTH_DELIMITER = " ";
|
||||
String STARTUP_MESSAGE = "@#IJIDEA#JUnitSupport#@";
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user