From: <kp...@us...> - 2023-09-19 18:53:09
|
Revision: 25685 http://sourceforge.net/p/jedit/svn/25685 Author: kpouer Date: 2023-09-19 18:53:06 +0000 (Tue, 19 Sep 2023) Log Message: ----------- use Matcher.quoteReplacement() instead of a simple replace Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java Modified: jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java 2023-09-17 19:29:09 UTC (rev 25684) +++ jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java 2023-09-19 18:53:06 UTC (rev 25685) @@ -141,8 +141,9 @@ { String varName = m.group(2); String expansion = System.getenv(varName); - if (expansion != null) { - expansion = expansion.replace("\\", "\\\\"); + if (expansion != null) + { + expansion = Matcher.quoteReplacement(expansion); return m.replaceFirst(expansion); } } This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |