3 ms·
Yup, I forgot to mention that dockerd will get the death event and clean up like it would if pid1 died normally. My comment was more about what a patch upstream
by cyphar 6y ago
Yup, I forgot to mention that dockerd will get the death event and clean up like it would if pid1 died normally. My comment was more about what a patch upstream would look like. And I'm glad to hear you plan on opening an upstream issue about it. Sadly it's quite common for folks to work around issues which we could've fixed upstream but were never told about, so glad that you're bucking that trend. :D
- xorcist 6y agoThat has historically not been reliable in any version of docker. A proper solution would probably require restructuring the whole thing.
- alias_neo 6y agoUnfortunately, the trend is the way it is because historically Docker has demonstrated contempt towards the tickets people have raised and many issues people suffer from have never been fixed. Those of us who need to get things done have taken to just working around it and moving on. If this attitude has changed, it should be communicated publicly so people can reset and come back to Docker with such issues.