You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To avoid the exception Failure("net_tap0") being thrown (and not require root privileges), it would be better to use a socket. For this, just do
export NET=socket
before mirage configure --unix. The default port is 80. If you run a web server on your machine — as I do — that port will be taken. to change it, go to the generated main.ml file and look for the line Stackv41.listen_tcpv4 ~port:80. Replace 80 with, say, 8080.
The text was updated successfully, but these errors were encountered:
One needs to do
opam search crunch
beforemirage configure --unix
because the latter tries to runTo avoid the exception
Failure("net_tap0")
being thrown (and not require root privileges), it would be better to use a socket. For this, just dobefore
mirage configure --unix
. The default port is80
. If you run a web server on your machine — as I do — that port will be taken. to change it, go to the generatedmain.ml
file and look for the lineStackv41.listen_tcpv4 ~port:80
. Replace80
with, say,8080
.The text was updated successfully, but these errors were encountered: