Hi experts, How to properly stop the web interface and all the daemons when they were started by the "dagster dev" command? (Except ctrl+c) I'm looking for a way to do this properly on unix, and without having to kill every process that mentions "dagster" (ps -ef | grep dagster) Regards,

I usually do ^C (control+C) on Mac.. not sure if this is the "proper" way

I’m using docker compose and find that ctrl+c shuts everything down gracefully