userspace: fix start-daemons.sh for ppsi
THe previous version of the file was not working, both because
of a typo and because ppsi currently fails if wrsh_hal is not
ready. This adds a polling loop to wait for the mini-rpc socket to
be available.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
Showing
Please
register
or
sign in
to comment