Refresh dev tools pane on connection pin (#3698)

rli · web-flow · commit d74888a84aaf · 2023-05-30T15:24:43.000-07:00
Behavior changed due to deadlock fix
diff --git a/jetbrains-core/src/software/aws/toolkits/jetbrains/core/credentials/DefaultToolkitConnectionManager.kt b/jetbrains-core/src/software/aws/toolkits/jetbrains/core/credentials/DefaultToolkitConnectionManager.kt
@@ -120,6 +120,7 @@ class DefaultToolkitConnectionManager : ToolkitConnectionManager, PersistentStat
                 if (featuresToPin.isNotEmpty()) {
                     application.executeOnPooledThread {
                         pinningManager.maybePinFeatures(oldConnection, newConnection, featuresToPin)
+                        application.messageBus.syncPublisher(ToolkitConnectionManagerListener.TOPIC).activeConnectionChanged(newConnection)
                     }
                 }
             }

Original file line number	Diff line number	Diff line change
`@@ -120,6 +120,7 @@ class DefaultToolkitConnectionManager : ToolkitConnectionManager, PersistentStat`
`120`	`120`	`if (featuresToPin.isNotEmpty()) {`
`121`	`121`	`application.executeOnPooledThread {`
`122`	`122`	`pinningManager.maybePinFeatures(oldConnection, newConnection, featuresToPin)`
	`123`	`+ application.messageBus.syncPublisher(ToolkitConnectionManagerListener.TOPIC).activeConnectionChanged(newConnection)`
`123`	`124`	`}`
`124`	`125`	`}`
`125`	`126`	`}`