That is perfectly fine, but what happens at NYSE did not happen here. At NYSE they revert it back to an earlier state and then slowly start the market from that state.. That's not what happened here. Trading was stopped and then resumed x time later when the price in the order book of bitstamp was already much higher than the state orders were in before trading was stopped. This resulted in short positions that were losing directly when the trading engine was started again(and many of them were sold at market price). Quite different story..

So what I would suggest next time this happens.. start the market without bitstamp until prices of bitstamp and bitfinex are within a certain margin. This would give people a more fair chance to close their position without any/much loss.