Fix some issues, merge #9 into development#10

Merged

juliangiebel merged 13 commits intomasterfrom development

Feb 12, 2024

+42-27

Commits on Nov 28, 2023

[no ci] Disable core dumps for mapserver container in example docker.yaml
juliangiebel
committed
Merge branch 'development' of github.com:juliangiebel/SS14.MapServer into development
juliangiebel
committed

Commits on Feb 5, 2024

Commits on Feb 12, 2024