Startup parameters
Startup options for the server (like port to run on) seem to be managed in the predicate server_opts/1. However, I do not use how to use them. Regarding the port option, for instance, neither of the following works:
swipl -s run.pl --port 8976swipl -s run.pl --port=8976swipl -s run.pl port=8976According to the swipl usage message, swi-options and programm arguments should (can?) be separated by --. This seems to kinda work. However, then our code complains that -- is no valid argument.
Basically, I have the following questions:
- How is it possible to start the server with arguments?
- Which arguments are defined? Or rather, what do they do?
- Can we print some usage message ourselves? For example with
-hbut without interfering with swipl's-hargument?