]> git.openstreetmap.org Git - nominatim.git/blobdiff - nominatim/tools/refresh.py
flez: add other default styles
[nominatim.git] / nominatim / tools / refresh.py
index c50493cc847f529377653e95d521f51bcdd55321..b35d3aae1c6a2f269ca8c132da82d4d0f3713007 100644 (file)
@@ -216,6 +216,7 @@ def setup_website(basedir: Path, config: Configuration, conn: Connection) -> Non
         LOG.info('Creating website directory.')
         basedir.mkdir()
 
+    assert config.project_dir is not None
     template = dedent(f"""\
                       <?php