Delete runtime when server is deleted. Fixes #861