Allow DeviceServer.stop() to be called multiple times, making test teardown simpler