Fuseki embedded server: replace deprecated setPort 37/head
authorJan Martin Keil <jan-martin.keil@uni-jena.de>
Mon, 8 Feb 2021 11:11:16 +0000 (12:11 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 11:11:16 +0000 (12:11 +0100)
commiteb6f4f8e8430865e197e4c322f4d62ef961c8c89
tree5d9ec907f500b9ef366ba8b9321bd5ddd7ecf9a7
parent992e8dc0bf9f0a4a24636ecceecbcead6d43747c
Fuseki embedded server: replace deprecated setPort
source/documentation/fuseki2/fuseki-embedded.md