They're not distributing rippled, so there can be no violation. You're not mandated to share your modifications on free software, butwhen you choose to do it, you have to follow the rules.
I don't think you can violate a license with code running on your server, but please correct me if I'm wrong.