Skip to content

flint: Filter out PID which are not flint

Valentin Valls requested to merge filter-out-non-flint-pid into master

Found at ID15.

Redis was exposing a Flint PID which was not Flint. As result it was not possible to launch Flint.

This patch filter PIDs, making sure flint is on the process command line

There is maybe a better way based on the proxy exception. I can't tell.

Screenshot_from_2022-03-25_16-32-25

It would be good to backport that stuff.

Edited by Valentin Valls

Merge request reports