Disney exits game publishing.