mirror of
https://github.com/GNS3/gns3-server.git
synced 2026-10-29 03:32:20 +02:00
This is done only if you lock by pid to avoid killing process of another server. Fix #581
This is done only if you lock by pid to avoid killing process of another server. Fix #581