Project

General

Profile

Actions

Feature #5066

closed

Warden should maybe check for duplicate IDEA message identifiers

Added by Jan Mach over 5 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Server
Target version:
-
Start date:
05/14/2019
Due date:
% Done:

100%

Estimated time:

Description

Due to performance reasons Warden currently does not seem to check for duplicate message identifiers. Maybe it should enforce the IDEA schema requirement for these IDs to be unique.

Actions

Also available in: Atom PDF