libgdx/libgdx — pull request #2353 by BlueRiverInteractive (2014-09-20 01:03:27+00:00)
Title: IOSMusic.play() shouldn't restart if called while playing

Currently if Music.play is called in iOS the music gets restarted. However on all other backends calling play on a already playing music instance does nothing. This simple pull request copes with that.