GNS3/gns3-server — pull request #35 by jseutter (2014-09-30 00:28:53+00:00)
Title: Deadman switch support 2/2

This merges in a copy of the deadman switch from the old gns3dms repository.