GP-0: Bad extension point suffix now prevents launch (#6671)

This commit is contained in:
Ryan Kurtz 2024-08-06 14:39:19 -04:00
parent e88fe40a1e
commit 942c83ebbd

View file

@ -567,8 +567,8 @@ public class ClassSearcher {
extensionPointSuffixes.add(line);
}
catch (PatternSyntaxException e) {
Msg.error(ClassSearcher.class,
"Skipping invalid extension point suffix '%s' found in '%s'"
throw new AssertException(
"Error parsing extension point suffix '%s' found in '%s'"
.formatted(line, file));
}
}