private CardId[] loadDeck()
{
CardId[] r = null;
while (true)
{
WaitFor<string> w = new WaitFor<string>();
DeckEditorPanel.loadDeckFromFile((s) => w.signal(s));
CardId[] ids = DeckEditorPanel.loadDeck(w.wait()).ToArray();
if (gameInterface.connection is DummyConnection || DeckEditorPanel.deckVerificationThing(ids)) return ids;
}
}