mirror of https://github.com/pulumi/pulumi.git
d83774ca96
1. 'readID' was never assigned to and was always the default value, leading the refresh source to believe a resource was deleted 2. The refresh source could hang when a resource is deleted. |
||
---|---|---|
.. | ||
apitype | ||
backend | ||
diag | ||
encoding | ||
engine | ||
graph | ||
operations | ||
resource | ||
testing | ||
tokens | ||
tools | ||
util | ||
version | ||
workspace |