Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[doc] book/web_service: fixed option to set port

  • Loading branch information...
commit a4f8a708db1cde7d4e6bffe2a785c3cba35f43ff 1 parent 9219005
François-Régis Sinot authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  doc/book/hello_web_services/hello_web_services.adoc
View
2  doc/book/hello_web_services/hello_web_services.adoc
@@ -663,7 +663,7 @@ include::hello_wiki_rest.opa[]
[run]#http://tutorials.opalang.org/hello_wiki_rest[Run]#
Launch the server wiki, launch the client wiki on a different port (use option
-+--server-port+ to select a port) and behold, you can edit your wiki from two
++-p+ or +--opa-server-port+ to select a port) and behold, you can edit your wiki from two
distinct ports. Or two distinct servers, if you replace +"localhost"+ by the
appropriate server name.
Please sign in to comment.
Something went wrong with that request. Please try again.