picoweb port default is no more 8080

0 votes
asked Nov 3 in Bug by Serge Wenger Work (16,590 points)

Hi,

With version plantuml-1.2025.9, the picoweb port is no more 8080 as described in https://plantuml.com/fr/picoweb

With version plantuml-1.2025.7 it was OK

1 Answer

0 votes
answered Nov 3 by plantuml (297,300 points)
selected Nov 4 by Serge Wenger Work
 
Best answer
Thanks for the report!

This is restored with last commit https://github.com/plantuml/plantuml/commit/c5367aaf31217ab577c721b3f4bb59b6ad6e4432
...