Skip to content

Commit

Permalink
[#144] fix for empty additional options
Browse files Browse the repository at this point in the history
- Add additional options only if not empty.
- Use all whitespace chars as separator for options to increase
robustness.

fixes #144
  • Loading branch information
ghentschke committed Jul 3, 2023
1 parent aa2d76b commit 080fd3d
Showing 1 changed file with 5 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,11 @@ public String queryDriver() {

@Override
public List<String> additionalOptions() {
return Arrays.asList(stringValue(metadata.additionalOptions()).split("\\R")); //$NON-NLS-1$
var options = stringValue(metadata.additionalOptions());
if (options.isBlank()) {
return new ArrayList<>();
}
return Arrays.asList(options.split("\\s+")); //$NON-NLS-1$
}

private String stringValue(PreferenceMetadata<?> meta) {
Expand Down

0 comments on commit 080fd3d

Please sign in to comment.