From 87969f16600959e44483f3fa98f17d7907b70271 Mon Sep 17 00:00:00 2001 From: Dmitry Kovanikov Date: Tue, 22 Sep 2015 19:42:01 +0300 Subject: [PATCH] Minor: change `repl.ideMode` property name to `kotlin.repl.ideMode` --- .../src/org/jetbrains/kotlin/cli/jvm/repl/ReplFromTerminal.java | 2 +- .../src/org/jetbrains/kotlin/console/KotlinConsoleKeeper.kt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/cli/src/org/jetbrains/kotlin/cli/jvm/repl/ReplFromTerminal.java b/compiler/cli/src/org/jetbrains/kotlin/cli/jvm/repl/ReplFromTerminal.java index efd2d47d7f4..c3007b45491 100644 --- a/compiler/cli/src/org/jetbrains/kotlin/cli/jvm/repl/ReplFromTerminal.java +++ b/compiler/cli/src/org/jetbrains/kotlin/cli/jvm/repl/ReplFromTerminal.java @@ -52,7 +52,7 @@ public class ReplFromTerminal { @NotNull final Disposable disposable, @NotNull final CompilerConfiguration compilerConfiguration ) { - String replIdeMode = System.getProperty("repl.ideMode"); + String replIdeMode = System.getProperty("kotlin.repl.ideMode"); ideMode = replIdeMode != null && replIdeMode.equals("true"); // wrapper for `out` is required to escape every input in [ideMode]; diff --git a/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleKeeper.kt b/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleKeeper.kt index 04546bda8e1..acc836fca2d 100644 --- a/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleKeeper.kt +++ b/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleKeeper.kt @@ -77,7 +77,7 @@ public class KotlinConsoleKeeper(val project: Project) { paramList.add("-cp") paramList.add(replClassPath) - paramList.add("-Drepl.ideMode=true") + paramList.add("-Dkotlin.repl.ideMode=true") paramList.add("org.jetbrains.kotlin.cli.jvm.K2JVMCompiler")