We've never had to do that before and I hope we never do again, but it was greatly appreciated that everyone took it seriously and while we were sorry for disrupting the game, we felt it was simply too important.
I for one am very glad that it was done. I personally did not feel that it disrupted the game, and it helped to show that this group is more than just a group of players, looking to play a game, but a community, a fellowship, looking out for one another.