Я просто искал способ сообщить серверу OPA http, какой порт слушать
Я нашел эту статью http://blog.opalang.org/2011/06/first-steps-hello-web-in-opa.html
, в которой говорится о параметре --port
Я хотел бы знать, где все эти параметры задокументированы
myapp.exe --help напечатает возможные параметры для вашего скомпилированного приложения Opa.
myapp.exe --help
Согласен, было бы здорово добавить главу о распространенных параметрах в онлайн-документацию.
Просто запустите opa --help или man opa;)
opa --help
man opa