portnumber: an arbitrary port number to which the server should listen.
httpserv looks for the requested file relative to the current directory. For
example, you are in
$(SRC_ROOT)/xmlsecurity/$(INPATH)/httpserv/dist/javadoc,
a directory which contains the index.html. From there you run httpserv.jar:
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.