Do not start installing Haskell tools when it's already busy.

This commit is contained in:
Rik van der Kleij 2019-02-20 11:19:22 +01:00
parent f0ea9d4ece
commit dcd81cd3c3

View File

@ -149,7 +149,9 @@ object StackProjectManager {
HaskellNotificationGroup.logInfoEvent(project, "Initializing Haskell project")
}
installHaskellTools(project, update = false)
if (getStackProjectManager(project).exists(_.installingHaskellTools == false)) {
installHaskellTools(project, update = false)
}
ProgressManager.getInstance().run(new Task.Backgroundable(project, "Building project, starting REPL(s) and preloading cache", false, PerformInBackgroundOption.ALWAYS_BACKGROUND) {