#!/bin/bash

set -x

/opt/cartesi/bin/cartesi-machine-server					\
	--address 127.0.0.1:32600					\


exit
	--socket-type tcp						\
Allowed options:
  -t [ --socket-type ] arg     socket type to listen to, options are tcp and 
                               unix, mutually exclusive with address option
  -a [ --address ] arg         unix path or ip:port to listen to, mutually 
                               exclusive with socket-type option
  -s [ --session-id ] arg      session id of this instance, triggers reporting 
                               address to core-manager server
  -m [ --manager-address ] arg unix path or ip:port of the core-manager server,
                               only used when providing a session-id

	--session-id spacecruft-cartesi