From 2d4399e1c4a8043f1b02e715a30808a0f89a3ccc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Thu, 7 May 2020 18:19:43 +0200 Subject: [PATCH] ide_development_instance.md: note about failing unload in production --- basics/ide_development_instance.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basics/ide_development_instance.md b/basics/ide_development_instance.md index f538d53dc..f6e47c07a 100644 --- a/basics/ide_development_instance.md +++ b/basics/ide_development_instance.md @@ -52,7 +52,7 @@ When adding system property `idea.auto.reload.plugins` in the [run configuration This allows a much faster development cycle by avoiding a full restart of the development instance after code changes. For [Gradle-based plugins](/tutorials/build_system/prerequisites.md) using `gradle-intellij-plugin` 0.4.17 or later, this property is set automatically. -To disable auto-reload, set `idea.auto.reload.plugins` to `false` explicitly (2020.1.2+). +To disable auto-reload, set `idea.auto.reload.plugins` to `false` explicitly (2020.1.2+). Please note that any unloading problems in production environment will ask the user to restart the IDE. ## The Development Instance Sandbox Directory