diff libervia/server/html_tools.py @ 1462:87e48b6a1bbd

server: fix `libervia-app` name parsing following prefix change
author Goffi <goffi@goffi.org>
date Thu, 30 Sep 2021 11:55:42 +0200
parents 822bd0139769
children 106bae41f5c8
line wrap: on
line diff