pub fn verified_daemon() -> Option<ServiceProcess>Expand description
The PID of the recorded daemon when it really is this user’s lean-ctx
daemon: command line serve --_foreground-daemon, lean-ctx executable,
same user, and the recorded identity where there is one. Slower than
is_daemon_running (reads the command line); for doctor and stop.