diff options
author | Lars Vogel | 2020-01-13 09:03:18 +0000 |
---|---|---|
committer | Lars Vogel | 2020-01-15 07:55:40 +0000 |
commit | ef601e2f25021d9b861b231dcb100738f7e1b989 (patch) | |
tree | cfd94d72bb979e430a445e41d600cbb5c634bff3 /org.eclipse.debug.core | |
parent | ea1b2c82018821d079bce0fa0a103d7a8b8468ff (diff) | |
download | eclipse.platform.debug-ef601e2f25021d9b861b231dcb100738f7e1b989.tar.gz eclipse.platform.debug-ef601e2f25021d9b861b231dcb100738f7e1b989.tar.xz eclipse.platform.debug-ef601e2f25021d9b861b231dcb100738f7e1b989.zip |
Use System.lineSeparator()I20200116-1800I20200116-0930I20200116-0330I20200116-0310I20200115-1800
Benefit of this way rather than System.getProperty("line.separator") is
that there are no security checks.
Change-Id: Ib14dc56626a541a2bace31952281cfbb6e0a9a00
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Diffstat (limited to 'org.eclipse.debug.core')
-rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java b/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java index a5ad21310..295145c1b 100644 --- a/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java +++ b/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java @@ -780,7 +780,7 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe String line = reader.readLine(); String key = null; String value = null; - String newLine = System.getProperty("line.separator"); //$NON-NLS-1$ + String newLine = System.lineSeparator(); while (line != null) { int func = line.indexOf("=()"); //$NON-NLS-1$ if (func > 0) { |