A Republican Party Server Was Hacked in April. Oddly, Though, Nothing Was Leaked.