close server when clicking on back button #124

Merged
louis_royer merged 1 commits from fixgui into master 2020-04-13 14:26:18 +02:00
No description provided.