Support controling the URI generated by problem matchers

This commit is contained in:
Dirk Baeumer
2018-06-18 12:22:49 +02:00
parent 36cab98dc0
commit c1e5c804cf
5 changed files with 15 additions and 9 deletions

View File

@@ -106,5 +106,8 @@ export interface TaskFilterDTO {
}
export interface TaskSystemInfoDTO {
scheme: string;
host: string;
port: number;
platform: string;
}