hopefully that's the case. My wallets still show missing coins and they didn't arrive at the destination address either. Maybe the site deducted it from my account when it got the error and didn't send the coins. I e-mailed support earlier but haven't gotten a response yet.
That is exactly what happened, sorry about that.
The error happened because there weren't enough hot-wallet funds to perform your withdrawal.
The hot wallet has been topped-up.