This message was deleted.
# general
s
This message was deleted.
e
No they should get killed. You didn't have a run of
pulumi
that crashed or got killed itself did you? Might be a process tree leak.
l
No. I've not had any pulumi errors like that, in particular any that would have been in that folder - which I created yesterday.
e
hmm ok, do let us know if it happens again
👍 1