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

alokmenghrajani · Sep 12, 2011 · a4f8a70 · a4f8a70
1 parent 9219005
commit a4f8a70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/book/hello_web_services/hello_web_services.adoc b/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.