Adding parameter for audio priority to music_player

strands-project / strands_ui

User interfaces for the robots.

2 stars 14 forks source link

Adding parameter for audio priority to music_player #78

Closed cdondrup closed 9 years ago

cdondrup commented 9 years ago

Adding additional parameters for sounds_player. Me being stupid pushing to the same branch... @nilsbore can you please have a look? Shouldn't break anything.

nilsbore commented 9 years ago

Tested with the music player, still works. Ok to merge. @cdondrup