Commit 56742cca authored by Lucas Russo's avatar Lucas Russo

init.sh: fix dev_mngr command-line options

The broker endpoint must be specified with
a -b option
parent cf78b460
...@@ -11,14 +11,15 @@ fi ...@@ -11,14 +11,15 @@ fi
if [ $# -ne $EXPECTED_ARGS ] if [ $# -ne $EXPECTED_ARGS ]
then then
echo "Error: Broker endpoint not set!"
echo "Usage: `basename $0` {broker endpoint}" echo "Usage: `basename $0` {broker endpoint}"
exit 1; exit 1;
fi fi
broker_endp=$1 broker_endp=$1
# Launch Device Manager # Launch Device Manager
./dev_mngr "ipc://"$broker_endp & ./dev_mngr -v -b "ipc://"$broker_endp &
# Signal dev_mngr of a "new" PCIe device # Signal dev_mngr of a "new" PCIe device
killall -SIGUSR1 dev_mngr killall -SIGUSR1 dev_mngr
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment