Permalink
Browse files

[enhance] server: Added -p and --port for all service

  • Loading branch information...
1 parent 5ff7163 commit ff6a975f3304a5ff9b677e594dbe124cbda77229 @BourgerieQuentin BourgerieQuentin committed Jul 5, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 stdlib/core/web/server/server_options.opa
@@ -150,7 +150,7 @@ Server_options = {{
)),
(["caml","node.js"],
- CL.int(List.append([optname("port")],if name == "http" then ["-p"] else []),
+ CL.int([optname("port"), "-p", "--port"],
"Sets the port on which the server should run (default:{init.port})",
"<int>"
)(port, p ->

0 comments on commit ff6a975

Please sign in to comment.