BaseXdb/basex — Issue #244: HTTP Server: stop server does not stop Jetty instance
Author: ChristianGruen
Created: 2011-10-22 20:47:08+00:00
State: open
Labels: API, feature

Another port might need to be reserved to monitor Jetty.