tree 5c7748677bfd1f70173218fec069ecdba32c0a84
parent 1378630ee468a0aff2d0985c5b59291c3df80615
author David 'Digit' Turner <digit@android.com> 1305931347 +0200
committer David 'Digit' Turner <digit@android.com> 1305931450 +0200

fix audio backend handling

This patch fixes a small bug where the audio backend given with
the -audio <name> option was ignored. The bug was introduced during
a previous integration of upstream audio changes.

The old code always used the same default backend (PulseAudio).

Change-Id: I7bc68df3fd3025f8a8bd1f0fd868872b7eee2017