I don't quite understand what it means for Jetty to be "embedded" in or with BaseX, but presumably there's a configuration?

I see:

DEBUG = false
DBPATH = /home/nicholas/basex/data
LOGPATH = .logs
REPOPATH = /home/nicholas/basex/repo
LANG = English
LANGKEYS = false
FAIRLOCK = false
CACHETIMEOUT = 3600

# Client/Server Architecture
HOST = localhost
PORT = 1984
SERVERPORT = 1984
USER = 
PASSWORD = 
SERVERHOST = 
PROXYHOST = 
PROXYPORT = 0
NONPROXYHOSTS = 
IGNORECERT = false
IGNOREHOSTNAME = false
TIMEOUT = 30
KEEPALIVE = 600
PARALLEL = 8
LOG = true
LOGMSGMAXLEN = 1000

# HTTP Services
WEBPATH = /home/nicholas/basex/webapp
RESTPATH = 
RESTXQPATH = 
PARSERESTXQ = 3
HTTPLOCAL = false
STOPPORT = 8985
AUTHMETHOD = Basic

but there's nothing actually at WEBPATH, no directory.  Perhaps RESTXQPATH requires configuration?  Really, just guessing.  See also:

https://askubuntu.com/q/1252599/847449


If I installed BaseX with apt, should it also pull in Jetty, then?



thanks,

Nick